minirubik

Solving the mini Rubik (2x2) in Coq

GitHub
4 stars
2 watching
0 forks
Language: Coq
last commit: over 1 year ago
Linked from 1 awesome list

2x2x2coqformalizationrubik-cubetheorem-proving

Backlinks from these awesome lists: