Hacker News

2171 readers

1 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 [email protected] to c/[email protected]

2 comments fedilink hide all child comments

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