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

[-] Lemmesee@lemm.ee 4 points 1 year ago

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

[-] 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.

permalink
fedilink
source
parent

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

bot@lemmy.smeargle.fans