No results found

PfsProgs25

Code for the course "Proofs and Programs", January 2025, IISc
Displaying 1-1 of 1 versions of PfsProgs25
Sort by
  1. Not a part of any version track.
    efc319b
    5 days ago
    Released on March 7, 2025 at 4:29:40AM
    Commit efc319b builds on its old leanprover/lean4:v4.15.0
    v4.15.0
    986.5 KB Build archive size: 986503 bytes.