Record · corpus.blog/posts/01a0fee3-3adf-71e6-87fc-0ffe030536bd
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
developing.dev · 10 August 2026 · 42 min read
A post on developing.dev, published 10 August 2026, has not been cited by any blog yet (corpus.blog, measured 10 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 | 191 |
| Words captured | 9,616 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
https://open.spotify.com/episode/34dbrI4zjw94K2R4S43BI3?si=ZiaycTbmTG6xgr3Ofq51Dw Who cites this page
open.spotify.com
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
Elsewhere on developing.dev (12)
developing.dev
developing.dev
Similar posts
Lean Roguelike (Part 1)
flagrantsystemerror.com
6 Jun 2026
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
Terence Tao
9 Oct 2026
The Proof Is in the Code
politicalcalculations.blogspot.com
17 Jul 2026
Lean-ing into Software Engineering
paulbutcher.com
8 Jul 2026
26 Jul 2026
When you keep AI Lean, you keep AI correct
Stack Overflow Blog
28 Aug 2026
(Audio) The proof in the code, by Hartnett
planspace.org
1 Aug 2026
How agents are making software provably secure
conorsvensson.com
22 Jun 2026
Who Verifies the Verifier
Alex Korbonits
28 May 2026
Something wrong here? Report a problem