No results found

ttfpi

"Type Theory and Formal Proof: An Introduction" book formalization in Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    batteriesv4.13.0

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

    aesopv4.13.0

    White-box automation for Lean 4
  3. Git dependency.
    Found on Reservoir.

    mathlibv4.13.0

    The math library of Lean 4
  4. Git dependency.
    Found on Reservoir.

    calcifyeb8ace0

  5. Git dependency.
    Found on Reservoir.

    doc-gen4v4.13.0

    Document Generator for Lean 4