This repository has been archived by the owner on Aug 24, 2024. It is now read-only.
Switch to using Lean to run the tests (so it runs on Windows)#31
Merged
Kha merged 15 commits intoleanprover:mainfrom lovettchris:clovett/lake_testsSep 8, 2022
+119-153
Commits
Commits on Sep 1, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
