Reservoir
No results found
All Packages
pnP2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Readme
Versions (1)
Dependencies (11)
Displaying
1-1
of
1
versions of
pnP2023
Sort by
Date
Not a part of any version track.
92fd2d8
5 months ago
Released on May 12, 2024 at 3:30:39AM
Commit 92fd2d8 builds on its old leanprover/lean4:v4.7.0
v4.7.0
1
20