No results found

rubik

Lean 4 formalization of Rubik's cubes
Displaying 1-1 of 1 versions of rubik
Sort by
  1. Not a part of any version track.
    95d4f48
    12 days ago
    Released on October 3, 2024 at 5:55:57AM
    Commit 95d4f48 fails to build on leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1