No results found

LeanSudokuv0.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
    5 days ago
    Released on October 10, 2024 at 6:23:25PM
    Commit 36cf0d0 builds on its recent leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3
    197.6 KB Build archive size: 197583 bytes.