Record · corpus.blog/posts/01a0871d-c5a8-73e0-8539-5dfd894c72b3

After Proof Abundance: Palomar and the New Infrastructure of Mathematical Trust

antomon.github.io · published 22 August 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.

Read the post at antomon.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 26
Words captured: 15,867

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/comment-page-1/

terrytao.wordpress.com

https://palomar-registry.org/statement

palomar-registry.org

https://palomar-registry.org/about

palomar-registry.org

https://github.com/PalomarRegistry/PalomarPolicy/blob/main/docs/specification.md

github.com

https://github.com/leanprover/comparator/blob/master/README.md

github.com

https://github.com/PalomarRegistry/PalomarSubmission/blob/main/SECURITY.md

github.com

https://github.com/coproduct-opensource/nanoda/blob/main/README.md

github.com

https://lean-lang.org/doc/reference/latest/ValidatingProofs/

lean-lang.org

https://github.com/PalomarRegistry/PalomarPolicy

github.com

https://github.com/PalomarRegistry/PalomarReviewer

github.com

https://github.com/mathlib-initiative/formalization.yaml

github.com

https://github.com/teorth/sendov/blob/1ddea92d89f951a0a7cbbffa6c267cf7e6640b1d/formalization.yaml

github.com

https://github.com/PalomarRegistry/PalomarPolicy/commit/2d7c43b9c2d1dcc4e642c732091e4fea2569b81c

github.com

https://info.arxiv.org/about/index.html

info.arxiv.org

https://info.arxiv.org/help/moderation/index.html

info.arxiv.org

https://info.arxiv.org/help/versions.html

info.arxiv.org

https://doi.org/10.5281/zenodo.20302944

doi.org

A digestion of the proof of Sendov’s conjecture Read at the source ↗

terrytao.wordpress.com

https://terrytao.wordpress.com/2026/03/13/mathematics-distillation-challenge-equational-theories/comment-page-1/

terrytao.wordpress.com

https://aclanthology.org/2025.inlg-main.23/

aclanthology.org

https://github.com/PalomarRegistry/PalomarPolicy/blob/main/docs/governance.md

github.com

https://rocq-prover.org/doc/V9.2.0/refman/language/core/index.html

rocq-prover.org

https://isabelle.in.tum.de/website-Isabelle2025/dist/library/Doc/Implementation/Logic.html

isabelle.in.tum.de

https://github.com/PalomarRegistry/PalomarSubmission/blob/main/docs/mathlib-cache-trust.md

github.com

https://data.palomar-registry.org/recent.json

data.palomar-registry.org

https://www.treccani.it/magazine/lingua_italiana/articoli/percorsi/percorsi_497.html

treccani.it