Source code for the web page of the course Proofs and Programs at the Indian Institute of Science, January 2023, built using the static site generator Hugo.
siddhartha-gadgil/proofs-and-programs-2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science
LeanMIT