- nielstron/langlib
Niels Mündler, Martin Dvořák
Palomar RegistryAug 27, 2026cs.FLmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 27, 2026math.COmachine-checkedscore 0
- Arthur742Ramos/jacobian-conjecture-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 27, 2026math.AGmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 27, 2026math.COmachine-checkedscore 0
- Arthur742Ramos/HigherLambdaModel
Arthur Ramos, Daniel O. Martinez-Rivillas, Ruy J.G.B. de Queiroz
Palomar RegistryAug 27, 2026math.LOmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 27, 2026math.AGmachine-checkedscore 0
- Arthur742Ramos/SpinorLean
Arthur F. Ramos, David B. Hulak, Ruy J. G. B. de Queiroz
Palomar RegistryAug 27, 2026math.RAmachine-checkedscore 0
- yuhangshi888/sun-cotangent-permanent-counterexample-lean
Yuhang Shi
Palomar RegistryAug 27, 2026math.NTmachine-checkedscore 0
- BrandonMYates/schwarzschild-comparator
Brandon Yates
Palomar RegistryAug 27, 2026gr-qcmachine-checkedscore 0
- dcposch/jc2-lean
Dan Clemens Posch
Palomar RegistryAug 26, 2026math.AGmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- lukasliehr/GrothendieckBessel
Lukas Liehr, Mitchell A. Taylor, Peiyang Yu
Palomar RegistryAug 26, 2026math.FAmachine-checkedscore 0
- JD-Jones-ASES/fs-formal
JD Jones
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.COmachine-checkedscore 0
- Vulkin-prog/paper-c-lean
Brice Pouly
Palomar RegistryAug 26, 2026math.NTmachine-checkedscore 0
- sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar RegistryAug 26, 2026math.MGmachine-checkedscore 0
- catskillsresearch/scott1980
Lars Warren Ericson
Palomar RegistryAug 25, 2026cs.LOmachine-checkedscore 0
- balancedscorpion/shifted-square-root-fourier-classification
Jamie Martin, Li Shen
Palomar RegistryAug 25, 2026math.CAmachine-checkedscore 0
- catskillsresearch/scott_models
Lars Warren Ericson
Palomar RegistryAug 25, 2026cs.LOmachine-checkedscore 0
- catskillsresearch/scott1976
Lars Warren Ericson
Palomar RegistryAug 25, 2026math.LOmachine-checkedscore 0
- teal-sea/zeta-lab
Thomas Lince
Palomar RegistryAug 25, 2026math.NTmachine-checkedscore 0
- catskillsresearch/scott1972
Lars Warren Ericson
Palomar RegistryAug 24, 2026math.LOmachine-checkedscore 0
- catskillsresearch/scott1982
Lars Warren Ericson
Palomar RegistryAug 24, 2026cs.LOmachine-checkedscore 0
- SauersML/group-approximation
Sauers
Palomar RegistryAug 24, 2026math.OAmachine-checkedscore 0
- xiangyazi24/palomar-qseries-row-factorization
Xiang Huang
Palomar RegistryAug 24, 2026math.NTmachine-checkedscore 0
- geoconuk/lean-misc-math
George A. Constantinides
Palomar RegistryAug 23, 2026math.MGmachine-checkedscore 0
- novou/square-maximality-palomar
Jiechen Zhang
Palomar RegistryAug 23, 2026math.COmachine-checkedscore 0
- DiarHaidary/Nelson-Nguyen-conjecture-upper-bound-palomar
Diar Heidary
Palomar RegistryAug 23, 2026math.NAmachine-checkedscore 0
- ehrlich-b/euclidean-jordan
Bryan Ehrlich
Palomar RegistryAug 23, 2026math.RAmachine-checkedscore 0
- ehrlich-b/euclidean-jordan
Bryan Ehrlich
Palomar RegistryAug 23, 2026math.RAmachine-checkedscore 0
- williamjblair/lean-proofs
Will Blair
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- mbaccaro-dev/mathematical-proofs
Mayk Loide Baccaro
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- xiangyazi24/palomar-hahn-hecke-appell
Xiang Huang
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- mbaccaro-dev/mathematical-proofs
Mayk Loide Baccaro
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- mbaccaro-dev/mathematical-proofs
Mayk Loide Baccaro
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- ehrlich-b/sequential-products-lean
Bryan Ehrlich
Palomar RegistryAug 22, 2026math.OAmachine-checkedscore 0
- ashebson/kinin-lean
Aryeh Shebson
Palomar RegistryAug 22, 2026math.COmachine-checkedscore 0
- adas1236/KaltonPeckPalomar
Avik Das
Palomar RegistryAug 22, 2026math.FAmachine-checkedscore 0
- xiangyazi24/palomar-qseries-prime-coefficients
Xiang Huang
Palomar RegistryAug 22, 2026math.NTmachine-checkedscore 0
- CBirkbeck/uniform-sheafy-tate-domains-lean
Christopher Birkbeck, Alex Torzewski
Palomar RegistryAug 22, 2026math.AGmachine-checkedscore 0
- ehrlich-b/sequential-products-lean
Bryan Ehrlich
Palomar RegistryAug 21, 2026math.OAmachine-checkedscore 0
- mbaccaro-dev/mathematical-proofs
Mayk Loide Baccaro
Palomar RegistryAug 21, 2026math.CVmachine-checkedscore 0
- teal-sea/zeta-lab
Thomas Lince
Palomar RegistryAug 21, 2026math.NTmachine-checkedscore 0
- mbaccaro-dev/mathematical-proofs
Mayk Loide Baccaro
Palomar RegistryAug 21, 2026math.NTmachine-checkedscore 0
- Paul-Lez/jacobian-conjecture
Paul Lezeau, Dean Cureton
Palomar RegistryAug 21, 2026math.AGmachine-checkedscore 0
- ehrlich-b/sequential-products-lean
Bryan Ehrlich
Palomar RegistryAug 21, 2026math.OAmachine-checkedscore 0
- teal-sea/zeta-lab
Thomas Lince
Palomar RegistryAug 21, 2026math.NTmachine-checkedscore 0