Record · corpus.blog/posts/01a0fc12-aee0-7090-9367-f7c2f40890ba
My experience with Computer Proofs
blog.georgeshakan.com · 26 September 2022 · 5 min read
A post on blog.georgeshakan.com, published 26 September 2022, 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 | 29 |
| Words captured | 1,130 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
leanprover.zulipchat.com
isabelle.in.tum.de
coq.inria.fr
cbirkbeck.github.io
https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/ Who cites this page
quantamagazine.org
en.wikipedia.org
https://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html?ref=bounded-regret.ghost.io Who cites this page
ai.googleblog.com
research.google
research.google
ma.imperial.ac.uk
faculty.math.illinois.edu
https://github.com/leanprover-community/leanprover-community.github.io/blob/newsite/data/zulip.md Who cites this page
github.com
linkedin.com
en.wikipedia.org
b-mehta.github.io
leanprover.github.io
Something wrong here? Report a problem