project-numinalib

Solving Competition Geometry Problems in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    doc-gen4v4.15.0

    Document Generator for Lean 4
  2. Git dependency.
    Found on Reservoir.

    checkdeclse2285d3

    Tiny Lean library to check existence of declarations
  3. Git dependency.
    Found on Reservoir.

    smt9b81e91

    Tactics for discharging Lean goals into SMT solvers.
  4. Git dependency.
    Found on Reservoir.

    mathlibv4.15.0

    The math library of Lean 4