Geeks
chenjulang
/
rubik_cube
3D rubik_cube in LEAN
Primary Language
C
Apache License 2.0
Apache-2.0
rubik_cube GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
Watchers
chenjulang