/minirubik

Solving the mini Rubik (2x2) in Coq

Primary LanguageCoq

No issues in this repository yet.