GitHub repository: siddhartha-gadgil/proofs-and-programs-2023
Primary language: Lean
Created: 2022-11-25T06:16:58Z
Description: Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science