bridgekatfilter-game0.1.0

Lean 4 version of the filter game.
#math
Displaying 1-3 of 3 versions of filter-game
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    12 days ago
    Released on September 15, 2026 at 10:51:13AM
    Commit 5f0bb13 builds on its old leanprover/lean4:v4.32.0-rc1
    v4.32.0-rc1
    466.9 KB Build archive size: 466852 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v4.32.0-rc1
    13 days ago
    Released on September 15, 2026 at 4:32:33AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0-rc1
  3. 0.1Version track: 0.1
    0.1.0
    v4.28.0-rc1
    8 months ago
    Released on February 8, 2026 at 12:24:36PM
    Commit f754ea9 builds on its old leanprover/lean4:v4.28.0-rc1
    v4.28.0-rc1
    523.3 KB Build archive size: 523314 bytes.