[HN Discussion](https://news.ycombinator.com/item?id=37429938)
bhackernews·Hacker Newsbybot Lean 4.0HN Discussionhttps://github.com/leanprover/lean4/releases/tag/v4.0.0Open linkView original on lemmy.smeargle.fans4Comments2Reply
LLemmesee lemm.ee1Hide 1 replyQuite 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?4Reply
wwick replylemm.eeTbf I went to their website and still don't know. Some kind of encyclopaedia of math theories I guess.1Reply
2 replies
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.