Mendoza Lab
- 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
-
formal-conjectures
formal-conjectures PublicForked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Lean
Repositories
- formal-conjectures Public Forked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
MendozaLab/formal-conjectures’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…