Hacker News

2171 readers

50 users here now

A mirror of Hacker News' best submissions.

founded 1 year ago

MODERATORS

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

you are viewing a single comment's thread
view the rest of the 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.