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