GitHub repository: Foundations-of-Proof-Spring-2025/lean1-hw-intro-csvaughen-student
Primary language: Lean
Description: mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-hw-intro-LEAN1-template created by GitHub Classroom