Record · corpus.blog/posts/01a120a0-2654-7039-b430-4b5b0d16f286
About Me — Leonardo de Moura
leodemoura.github.io · 2 min read
A post on leodemoura.github.io is cited by 1 distinct blog to date (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.
1blog citing
| Period | Blogs | Links |
|---|---|---|
| All time | 1 | 1 |
| Last 90 days | 1 | 1 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 30 Jul 2026 |
|---|---|
| Latest citation | 30 Jul 2026 |
| Anchor phrases | 1 |
| External links | 25 |
| Words captured | 313 |
How it is described
The words blogs link this page with, by how many different blogs use them.
- official profile1 blog
Cited by 1 blog in 1 post
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
antomon.github.io1 post
When the Proof Checker Becomes Part of the Experiment
linked as “Official profile”
Read at the source (opens in a new tab)30 Jul 2026
Links from this post
Link
Host
aws.amazon.com
lean-fro.org
research.microsoft.com
csl.sri.com
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
yices.csl.sri.com
sal.csl.sri.com
i-cav.org
research.ibm.com
cadeinc.org
cadeinc.org
pldi21.sigplan.org
conf.researchr.org
en.wikipedia.org
scholar.google.com
informatik.uni-trier.de
github.com
Something wrong here? Report a problem