sdiehlZeroToQED

From Zero to QED: An informal introduction to formality with Lean 4
Sort by
  1. Git dependency.
    Found on Reservoir.

    smt1dc27aa

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

    batteriesv4.26.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  3. Git dependency.
    Found on Reservoir.

    mathlibv4.26.0

    The math library of Lean 4