Update Wed Sep 4 01:39:29 EDT 2024

hrmacbeth · Sep 4, 2024 · 149fd85 · 149fd85
1 parent 138b199
commit 149fd85
Show file tree

Hide file tree

Showing 11 changed files with 1 addition and 487 deletions.
diff --git a/Math2001/Homework/hw1.lean b/Math2001/Homework/hw1.lean
diff --git a/Math2001/Homework/hw10.lean b/Math2001/Homework/hw10.lean
diff --git a/Math2001/Homework/hw2.lean b/Math2001/Homework/hw2.lean
diff --git a/Math2001/Homework/hw3.lean b/Math2001/Homework/hw3.lean
diff --git a/Math2001/Homework/hw4.lean b/Math2001/Homework/hw4.lean
diff --git a/Math2001/Homework/hw5.lean b/Math2001/Homework/hw5.lean
diff --git a/Math2001/Homework/hw6.lean b/Math2001/Homework/hw6.lean