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?
this post was submitted on 08 Sep 2023
4 points (83.3% liked)
Hacker News
2171 readers
1 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.