Geeks
thery
/
minirubik
Solving the mini Rubik (2x2) in Coq
Primary Language
Coq
minirubik GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Stargazers
chenjulang
ebigram
mpritham
New York
thery
INRIA