bridgekatfilter-game

Lean 4 version of the filter game.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    proofwidgetsc43db94

  2. Git dependency.
    Found on Reservoir.

    mathlibae5e808

    The math library of Lean 4
  3. Git dependency.
    Not found on Reservoir.

    Qqc71f94e

  4. Git dependency.
    Not found on Reservoir.

    aesopca73109

  5. Git dependency.
    Not found on Reservoir.

    GameServer58308f9

  6. Git dependency.
    Not found on Reservoir.

    stde68aa8f