No results found

PfsProgs25

Code for the course "Proofs and Programs", January 2025, IISc
Sort by
  1. Git dependency.
    Found on Reservoir.

    LeanAideTools6662a02

    Tools, specifically for running tactics in the background, with minimal dependencies
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.15.0

    The math library of Lean 4