avigadLeanSudoku0.1.0

Playing Sudoku in the Lean 4 proof assistant
#math
Displaying 1-1 of 1 versions of LeanSudoku
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    9 months ago
    Released on October 25, 2024 at 6:12:15PM
    Commit c5d60b8 builds on its old leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
    197.1 KB Build archive size: 197054 bytes.