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