Lean 4.0

github.com Release v4.0.0 · leanprover/lean4

This is the first official release of Lean 4. We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly. We do not yet make promises about backwards compa...

HN Discussion

TechNews @radiation.party irradiated @radiation.party

BOT

1y ago

[HN] Lean 4.0

github.com /leanprover/lean4/releases/tag/v4.0.0

You're viewing a single thread.

2 comments

Quite bizarre and annoying that the maintainers don't explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README?
- Tbf I went to their website and still don't know. Some kind of encyclopaedia of math theories I guess.