No results found

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.
Sort by
  1. Local path dependency.
    Not found on Reservoir.

    Paperproof0.0.0

  2. Git dependency.
    Found on Reservoir.

    mathlib301f54a

    The math library of Lean 4