https://en.wikipedia.org/wiki/MU_puzzle
Primary LanguageCoq
Formalisation of MIU system and proof that the puzzle cannot be solved.