Proofs and Programs 2023
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.
pnP2023
Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science