Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
fourcolor-lean
ai port of four-color theorem from rocq to lean4
Lean
Emerging
GitHub
Stars
3
Forks
—
Contributors
2
Last push
2mo ago
Recent commits
Latest commits.
Merge pull request #1 from tangentstorm/claude/audit-comparator-setup-dtLdO
37ea3e2
tangentstorm
2mo ago
Top-down refinement: 20 more rounds (R12-R31)
d544bf6
Claude
2mo ago
Top-down refinement: 10 more rounds
2c84cb4
Claude
2mo ago
Top-down refinement: replace headline sorries with helper-lemma skeletons
ebaf8b1
Claude
2mo ago
Remove comparator from CI
45cc68a
Claude
2mo ago
Populate blueprint with one node per FourColor module
b2cead8
Claude
2mo ago
Set up comparator and leanblueprint scaffolding
915769a
Claude
2mo ago
batch46 (local): KempeCoclosure.refl alias
4aac5b9
tangentstorm
2mo ago
Top contributors
Builders behind this project.
tangentstorm
113 commits
claude
6 commits
