dwrenshamaze

maze game encoded in Lean 4 syntax
Displaying 1-1 of 1 versions of maze
Sort by
  1. Not a part of any version track.
    fb7e61c
    a month ago
    Released on July 2, 2025 at 6:21:51PM
    Commit fb7e61c builds on its recent leanprover/lean4:v4.22.0-rc2
    v4.22.0-rc2
    426.1 KB Build archive size: 426119 bytes.