siddhartha-gadgil/proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
LeanMIT
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
LeanMIT