Hacker News

2171 readers

2 users here now

A mirror of Hacker News' best submissions.

founded 1 year ago

MODERATORS

[email protected]

Lean 4.0 (github.com)

submitted 1 year ago by [email protected] to c/[email protected]

2 comments fedilink hide all child comments

HN Discussion

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

[–] [email protected] 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

[–] [email protected] 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