AlphaUncommon
rocq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- Owner
- rocq-community (organization)
- Stars
- Stars: 253
- Forks
- Forks: 28
- Language
- Rocq Prover
- License
- None
- Created
- 2018
- Topics
- coqssreflectmathcompfour-color-theoremcoq-ci
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- rocq-community/coq-artStars: 131CoqPrototype
Nearby in Rocq Prover
All Rocq Prover repos- stepchowfun/proofsStars: 316Rocq ProverAlpha
- QuickChick/QuickChickStars: 297Rocq ProverAlpha
- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha
- math-comp/analysisStars: 247Rocq ProverPrototype
- rocq-prover/equationsStars: 239Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype