Mendoza Lab
- United States of America
- https://www.kenmendoza.com
- ken@kenmendoza.com
Popular repositories Loading
-
erdos-lean4
erdos-lean4 PublicMachine-verified Lean 4 proofs of classical Erdős-type combinatorial bounds (Sidon sets, subset sums, sunflowers, product sets). Zero sorry stubs. Built with Mathlib.
Lean
-
erdos-experiments
erdos-experiments PublicComputational experiments for Erdős-style combinatorial conjectures
Python
-
math-morphism-atlas
math-morphism-atlas Public4,957 open math problems classified by structural morphism — Erdős-like classifier, 12-dim vectors, Lean 4 proofs
Lean
-
research-index
research-index PublicCentral research index for MendozaLab — arXiv preprints, Zulip submissions, and cross-repo navigation for formal methods and computational mathematics
Repositories
- research-index Public
Central research index for MendozaLab — arXiv preprints, Zulip submissions, and cross-repo navigation for formal methods and computational mathematics
MendozaLab/research-index’s past year of commit activity - erdos-lean4 Public
Machine-verified Lean 4 proofs of classical Erdős-type combinatorial bounds (Sidon sets, subset sums, sunflowers, product sets). Zero sorry stubs. Built with Mathlib.
MendozaLab/erdos-lean4’s past year of commit activity - math-morphism-atlas Public
4,957 open math problems classified by structural morphism — Erdős-like classifier, 12-dim vectors, Lean 4 proofs
MendozaLab/math-morphism-atlas’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…