bridgekatfilter-game0.1.0

Lean 4 version of the filter game.
#math
Displaying 1-2 of 2 versions of filter-game
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v4.28.0-rc1
    13 days ago
    Released on February 8, 2026 at 12:24:36PM
    Commit f754ea9 builds on its recent leanprover/lean4:v4.28.0-rc1
    v4.28.0-rc1
    521.8 KB Build archive size: 521772 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.28.0-rc1
    13 days ago
    Released on February 8, 2026 at 12:24:36PM
    Commit f754ea9 builds on its recent leanprover/lean4:v4.28.0-rc1
    v4.28.0-rc1
    521.8 KB Build archive size: 521772 bytes.