No results found

PfsProgs25

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

    LeanAideToolsbdef159

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

    mathlibv4.19.0-rc3

    The math library of Lean 4