sdiehlZeroToQED

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

    batteriesv4.34.0

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

    mathlibd13f23b

    The math library of Lean 4