/proofs-and-programs-2023

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

Primary LanguageLeanMIT LicenseMIT

Stargazers

No one’s star this repository yet.