AlphaPeu commune
rocq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 252
- Forks
- Forks : 28
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2018
- Sujets
- coqssreflectmathcompfour-color-theoremcoq-ci
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de rocq-community
Les 9 dépôts de rocq-community- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- rocq-community/awesome-coqÉtoiles : 397Alpha
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha
- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha
- math-comp/analysisÉtoiles : 247Rocq ProverPrototype
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype