Record · corpus.blog/posts/01a0f527-fc55-715f-90a2-8355b4f5de06
Lean 2022 round-up
Xena | Mathematicians learning Lean by doing. · 8 January 2023 · 4 min read
A post on xenaproject.wordpress.com, published 8 January 2023, has not been cited by any blog yet (corpus.blog, measured 9 October 2026).
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
| Period | Blogs | Links |
|---|---|---|
| All time | 0 | 0 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| Anchor phrases | 0 |
|---|---|
| External links | 17 |
| Words captured | 836 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ Who cites this page
quantamagazine.org
icerm.brown.edu
leanprover-community.github.io
leanprover-community.github.io
leanprover-community.github.io
leanprover-community.github.io
webdsl-2017.ewi.tudelft.nl
b-mehta.github.io
siddhartha-gadgil.github.io
researchseminars.org
Something wrong here? Report a problem