/proofs-and-programs-2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science

Primary LanguageLeanMIT LicenseMIT

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.