GitHub repository: proofs-and-programs/proofs-and-programs-25
Primary language: Lean
Description: Code for the course "Proofs and Programs", January 2025, IISc