MerLeanProver
Popular repositories Loading
-
ACMaxConjecture
ACMaxConjecture PublicA complete Lean 4 formalization of the ACMAX conjecture (Kolokolnikov, Conjecture 1.5) for every n >= 4. Machine-checked, sorry-free, verified by two independent kernels.
Lean 3
Repositories
Showing 2 of 2 repositories
- MerLean Public
An autonomous Lean 4 + Mathlib theorem-proving system, built as Claude Code skills and subagents over a plan graph.
- ACMaxConjecture Public
A complete Lean 4 formalization of the ACMAX conjecture (Kolokolnikov, Conjecture 1.5) for every n >= 4. Machine-checked, sorry-free, verified by two independent kernels.
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…