avigadLeanSudoku

Playing Sudoku in the Lean 4 proof assistant
Displaying 1-1 of 1 versions of LeanSudoku
Sort by
  1. Not a part of any version track.
    c5d60b8
    a year 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.5 KB Build archive size: 197540 bytes.