Reservoir
No results found
All Packages
Rubik
Lean 4 formalization of Rubik's cubes
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
Rubik
Sort by
Date
Not a part of any version track.
4d30aa1
a month ago
Released on November 2, 2024 at 9:39:43PM
Commit 4d30aa1 builds on its old leanprover/lean4:v4.13.0
v4.13.0
2.9 MB
Build archive size: 2899884 bytes.
1
20