GitHub repository: Foundations-of-Proof-Spring-2025/mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-homework-MAT211-Lean-HW-1
Primary language: HTML
Created: 2025-01-20T20:30:26Z
Description: mat-211-foundations-of-proof-spring-2025-classroom-8d1f82-lean1-homework-MAT211-Lean-HW-1 created by GitHub Classroom