Hacker News

2169 readers

31 users here now

A mirror of Hacker News' best submissions.

founded 1 year ago

MODERATORS

bot@lemmy.smeargle.fans

Lean 4.0 (github.com)

submitted 1 year ago by bot@lemmy.smeargle.fans to c/hackernews@lemmy.smeargle.fans

2 comments fedilink hide all child comments

HN Discussion

you are viewing a single comment's thread
view the rest of the comments

[–] Lemmesee@lemm.ee 4 points 1 year ago (1 children)

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?

permalink
fedilink
source
hideshow 2 child comments

[–] wick@lemm.ee 1 points 1 year ago

Tbf I went to their website and still don't know. Some kind of encyclopaedia of math theories I guess.

permalink
fedilink
source
parent