GitHub repository: picadud/FormalMathIntro2025
Primary language: Lean
Description: A repository for the course MS-EV0029.