Record · corpus.blog/posts/01a08795-b429-716a-82c2-8afb19c1a36b

Announcing the Palomar Registry

kim-em.github.io · published 19 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 kim-em.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 22
Words captured: 285

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://palomar-registry.org/

palomar-registry.org

https://github.com/leanprover/comparator

github.com

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

github.com

https://lean-lang.org/fro/

lean-lang.org

https://icarm.io/

icarm.io

https://www.andrew.cmu.edu/user/avigad/

andrew.cmu.edu

https://www.matthewrobertballard.com/

matthewrobertballard.com

https://jaume.dedios.cat/

jaume.dedios.cat

https://www.ndguillen.com/

ndguillen.com

https://en.wikipedia.org/wiki/Bryna_Kra

en.wikipedia.org

https://tqft.net/

tqft.net

https://www.math.ucla.edu/~tao/

math.ucla.edu

https://math.stanford.edu/~vakil/

math.stanford.edu

https://www.math.ias.edu/~akshay/

math.ias.edu

https://palomar-registry.org/statement

palomar-registry.org

https://palomar-registry.org/about

palomar-registry.org

Palomar – a registry of Lean verified mathematics Read at the source ↗

terrytao.wordpress.com

https://submit.palomar-registry.org/llms.txt

submit.palomar-registry.org

https://leanprover.zulipchat.com/

leanprover.zulipchat.com

https://palomar-registry.org/entry.html?id=PALOMAR-2026-08-13-000001

palomar-registry.org

https://palomar-registry.org/how-to-submit

palomar-registry.org

https://submit.palomar-registry.org/

submit.palomar-registry.org