Top
miscelleaneous
Commits
miscelleaneous
Random Lean experiments
Summary
Refs
Commits
Files
Commits at 7944918e340596e8382f8478b4ea93b1095576af
7944918e
Add everything
Anthony Wang
authored at
2025-04-23 20:08:13 -0400
Anthony Wang
comitted at
2025-04-23 20:08:13 -0400
95c34a47
Initial commit
Anthony Wang
authored at
2025-04-19 22:01:06 -0400
Anthony Wang
comitted at
2025-04-19 22:01:06 -0400