README.md
October 12, 2023 ยท View on GitHub
Warning
Lean 3 is no longer actively maintained.
It is strongly recommended that you use Lean 4 instead.
(If you need to read the old README.md, please see OLD_README.md.)
October 12, 2023 ยท View on GitHub
Warning
Lean 3 is no longer actively maintained.
It is strongly recommended that you use Lean 4 instead.
(If you need to read the old README.md, please see OLD_README.md.)