No results found

pnP2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
Displaying 1-1 of 1 versions of pnP2023
Sort by
  1. Not a part of any version track.
    92fd2d8
    7 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