- shaikidris/prime-star-spectra-formalization
Idris Ali Shaik
Palomar RegistryAug 31, 2026math.COmachine-checkedscore 0
- JD-Jones-ASES/Hadamard-formal
JD Jones
Palomar RegistryAug 31, 2026math.COmachine-checkedscore 0
- Arthur742Ramos/GraphCoveringTheory
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 31, 2026math.GRmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 31, 2026math.COmachine-checkedscore 0
- stalex444/mahler-measure-minima
Stephanie Alexander
Palomar RegistryAug 31, 2026math.NTmachine-checkedscore 0
- akopjan/NRR-AAK
Arseniy Akopyan
Palomar RegistryAug 31, 2026math.MGmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 31, 2026math.MGmachine-checkedscore 0
- MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar RegistryAug 31, 2026math.LOmachine-checkedscore 0
- yoshito-ishiki-math/lean-scottish-book-155
Yoshito Ishiki
Palomar RegistryAug 31, 2026math.FAmachine-checkedscore 0
- MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar RegistryAug 31, 2026math.LOmachine-checkedscore 0
- MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar RegistryAug 31, 2026math.PRmachine-checkedscore 0
- MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar RegistryAug 31, 2026math.LOmachine-checkedscore 0
- mrdouglasny/OSforGFF-comparator
Sergey A. Cherkis, Michael R. Douglas, Sarah Hoback, Anna Mei, Ron Nissim
Palomar RegistryAug 31, 2026hep-thmachine-checkedscore 0
- stalex444/Busch-theorem
Stephanie Alexander
Palomar RegistryAug 31, 2026quant-phmachine-checkedscore 0
- roos-j/lean-superorthogonality
Joris Roos
Palomar RegistryAug 31, 2026math.CAmachine-checkedscore 0
- Arthur742Ramos/KuroshSubgroupTheorem
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 31, 2026math.GRmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 31, 2026math.COmachine-checkedscore 0
- lean-malliavin
Ezzeri Esa
Palomar RegistryAug 31, 2026math.PRmachine-checkedscore 0
- The Friendship Windmill Structure Theorem (Erdős–Rényi–Sós 1966)
Noah Cohen
Palomar RegistryAug 31, 2026math.COmachine-checkedscore 0
- BochaoKong/nullstellensatz
BochaoKong
Palomar RegistryAug 30, 2026math.CVmachine-checkedscore 0
- pengzhang91/Feige
Guanyang Wang, Peng Zhang
Palomar RegistryAug 30, 2026math.PRmachine-checkedscore 0
- ehrlich-b/euclidean-jordan
Bryan Ehrlich
Palomar RegistryAug 29, 2026math.RAmachine-checkedscore 0
- dcposch/jc2-lean
Dan Clemens Posch
Palomar RegistryAug 29, 2026math.AGmachine-checkedscore 0
- Arthur742Ramos/dinitz-garg-goemans-counterexample-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryAug 29, 2026cs.DSmachine-checkedscore 0
- yuhangshi888/zeta-simple-zeros-673316977
Yuhang Shi
Palomar RegistryAug 29, 2026math.NTmachine-checkedscore 0
- Arthur742Ramos/TopologicalComputationalPaths
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago M. L. de Veras, David Barros Hulak
Palomar RegistryAug 29, 2026math.ATmachine-checkedscore 0
- nimaanari/formalization-beyond-bethe
Nima Anari
Palomar RegistryAug 29, 2026cs.DSmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 29, 2026math.MGmachine-checkedscore 0
- ehrlich-b/euclidean-jordan
Bryan Ehrlich
Palomar RegistryAug 29, 2026math.RAmachine-checkedscore 0
- Arthur742Ramos/hadamard-668-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 29, 2026math.COmachine-checkedscore 0
- BochaoKong/classical-complex-wpt
BochaoKong
Palomar RegistryAug 29, 2026math.CVmachine-checkedscore 0
- mccorvie/classification-of-surfaces
Ryan McCorvie, Jack McCarthy
Palomar RegistryAug 29, 2026math.GTmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 29, 2026math.MGmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 29, 2026math.COmachine-checkedscore 0
- ehrlich-b/composition-algebras
Bryan Ehrlich
Palomar RegistryAug 29, 2026math.RAmachine-checkedscore 0
- savarin/lean-malliavin
Ezzeri Esa
Palomar RegistryAug 29, 2026math.PRmachine-checkedscore 0
- ehrlich-b/composition-algebras
Bryan Ehrlich
Palomar RegistryAug 29, 2026math.RAmachine-checkedscore 0
- yuningyang19/parameter_free_gradient_p
Yuning Yang
Palomar RegistryAug 28, 2026math.OCmachine-checkedscore 0
- Arthur742Ramos/NagataFactoriality
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 28, 2026math.ACmachine-checkedscore 0
- Vulkin-prog/paper-c-lean
Brice Pouly
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- BrandonMYates/tempered-xi-comparator
Brandon Yates
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- BrandonMYates/csordas-comparator
Brandon Yates
Palomar RegistryAug 27, 2026math.CAmachine-checkedscore 0
- GrgAakash/factorial-hypergraph-auxiliary-erdos
Aakash Gurung
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- Arthur742Ramos/finite-graph-fundamental-group
Arthur Freitas Ramos, David Hulak, Ruy de Queiroz
Palomar RegistryAug 27, 2026math.ATmachine-checkedscore 0
- elliotglazer/nf-not-wpp
Elliot Glazer
Palomar RegistryAug 27, 2026math.LOmachine-checkedscore 0
- AviKndr/universal-words
Avi Kondareddy
Palomar RegistryAug 27, 2026math.GRmachine-checkedscore 0
- hkjtsgmc79-boop/colombo-odd-lean
Qianli Ma
Palomar RegistryAug 27, 2026math.CAmachine-checkedscore 0
- Vulkin-prog/paper-c-lean
Brice Pouly
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- yuma-mizuno/markoff-modp
Yuma Mizuno
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- BrandonMYates/yz-cubic-comparator
Brandon Yates
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0