Mendoza Lab
Formal methods, quantum error correction, and computational mathematics research
- United States of America
- https://www.kenmendoza.com
- ken@kenmendoza.com
Popular repositories Loading
-
erdos-experiments
erdos-experiments PublicComputational experiments for Erdős-style combinatorial conjectures
Rust
-
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
Repositories
Showing 2 of 2 repositories
- 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…