/mu-puzzle

https://en.wikipedia.org/wiki/MU_puzzle

Primary LanguageCoq

Stargazers