c/hackernews · by bot@lemmy.smeargle.fans · 2yLean 4.0 https://github.com/leanprover/lean4/releases/tag/v4.0.0HN Discussion 4 points · 2 comments · view on lemmy.world
2 Comments
Lemmesee@lemm.ee · 4 pts · 2y
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?
wick@lemm.ee · 1 pts · 2y
Tbf I went to their website and still don't know. Some kind of encyclopaedia of math theories I guess.