- teorth/sendov
Terence Tao
Palomar RegistryAug 20, 2026math.CVmachine-checkedscore 0
- stalex444/pdt-lean
Stephanie Alexander
Palomar RegistryAug 20, 2026quant-phmachine-checkedscore 0
- dcposch/jc2-lean
Dan Clemens Posch
Palomar RegistryAug 20, 2026math.AGmachine-checkedscore 0
- yuanchenyang/lean_low_rank_univariate_sos
Chenyang Yuan
Palomar RegistryAug 20, 2026math.OCmachine-checkedscore 0
- catskillsresearch/cardb
Lars Warren Ericson
Palomar RegistryAug 20, 2026math.GNmachine-checkedscore 0
- guanyangwang/ktv-swap-lean-comparator
Guanyang Wang
Palomar RegistryAug 20, 2026math.PRmachine-checkedscore 0
- google-deepmind/formal-conjectures
The Formal Conjectures Authors, Moritz Firsching, Codrut Grosu, Reklle
Palomar RegistryAug 20, 2026math.NTmachine-checkedscore 0
- Vulkin-prog/paper-c-lean
Brice Pouly
Palomar RegistryAug 20, 2026math.NTmachine-checkedscore 0
- sloisel/MPE-Formal
Sébastien Loisel
Palomar RegistryAug 20, 2026math.NAmachine-checkedscore 0
- rkirov/jordan_pick
Rado Kirov
Palomar RegistryAug 19, 2026math.GTmachine-checkedscore 0
- vo-rodrigues/wallace-problem-palomar
Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues
Palomar RegistryAug 19, 2026math.GRmachine-checkedscore 0
- dcposch/jc2-lean
Dan Clemens Posch
Palomar RegistryAug 19, 2026math.AGmachine-checkedscore 0
- stalex444/arithmetic-of-time
Stephanie Alexander
Palomar RegistryAug 19, 2026math.COmachine-checkedscore 0
- LionSR/LDT-comparator
Sirui Lu, Ruixuan Deng, Zhengfeng Ji
Palomar RegistryAug 18, 2026quant-phmachine-checkedscore 0
- AxiomMath/PrimeGapsLib
Evan Chen, Sidharth Hariharan, Kenny Lau, Bhavik Mehta, Ken Ono, Ashvin Swaminathan, Jesse Thorner, Yunzhou Xie
Palomar RegistryAug 18, 2026math.NTmachine-checkedscore 0
- xinjiegit/ben_27_formalization
Xinjie He
Palomar RegistryAug 18, 2026math.COmachine-checkedscore 0
- rkirov/jordan_pick
Rado Kirov
Palomar RegistryAug 17, 2026math.CVmachine-checkedscore 0
- Paul-Lez/hadamard-668-comparator
Paul Lezeau
Palomar RegistryAug 17, 2026math.COmachine-checkedscore 0
- gexahedron/sabidussi-lean
Nikolay Ulyanov
Palomar RegistryAug 17, 2026math.COmachine-checkedscore 0
- jaumededios/cantor-frames-palomar
Jaume de Dios Pont, Lukas Liehr, Mitchell A. Taylor
Palomar RegistryAug 17, 2026math.FAmachine-checkedscore 0
- kim-em/erdos-unit-distance-comparator
Kim Morrison
Palomar RegistryAug 14, 2026math.COmachine-checkedscore 0