Record · corpus.blog/posts/01a0875e-f21c-70b1-9cde-12505ae1fdde
Lean for learning Mathematics
chluebi.github.io · published 5 November 2025
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- External links
- 25
- Words captured
- 1,974
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
github.com
danielgratzer.com
leodemoura.github.io
github.com
leanprover-community.github.io
rocq-prover.org
arxiv.org
en.wikipedia.org
en.wikipedia.org
lawrencecpaulson.github.io
ai-math.zulipchat.com
mathstodon.xyz
arxiv.org
leanprover-community.github.io
leansearch.net
youtube.com
philipzucker.com
mathstodon.xyz
adam.math.hhu.de