Skip to content

Commit 149fd85

Browse files
committed
Update Wed Sep 4 01:39:29 EDT 2024
1 parent 138b199 commit 149fd85

File tree

11 files changed

+1
-487
lines changed

11 files changed

+1
-487
lines changed

Math2001/Homework/hw1.lean

-33
This file was deleted.

Math2001/Homework/hw10.lean

-122
This file was deleted.

Math2001/Homework/hw2.lean

-37
This file was deleted.

Math2001/Homework/hw3.lean

-42
This file was deleted.

Math2001/Homework/hw4.lean

-40
This file was deleted.

Math2001/Homework/hw5.lean

-39
This file was deleted.

Math2001/Homework/hw6.lean

-44
This file was deleted.

0 commit comments

Comments
 (0)