5
Lean 4.0
(github.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 08 Sep 2023
5 points (100.0% liked)
Hacker News
2159 readers
13 users here now
A mirror of Hacker News' best submissions.
founded 1 year ago
MODERATORS
Tbf I went to their website and still don't know. Some kind of encyclopaedia of math theories I guess.