GitHub repository: Foundations-of-Proof-Spring-2025/lean1-homework-MariusF20
Description: mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-homework-MAT211-Lean-HW-1 created by GitHub Classroom