- 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
- 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