Bump Lean version to 4.1.0 #17

Merged
aniva merged 2 commits from misc/toolchain into dev 2023-10-05 21:52:38 -07:00

2 Commits

Author SHA1 Message Date
Leni Aniva 5b002a9ceb
Fix test failures 2023-10-05 17:51:41 -07:00
Leni Aniva 836a14fa63
Bump Lean version to 4.1.0 2023-10-05 17:49:43 -07:00