No results found

pnP2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibv4.7.0

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

    doc-gen4a34d3c1

    Document Generator for Lean 4