ggonthier

InriaSaclay, France

Pinned Repositories

fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Language:Coq182 14 522
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml4.9k 104 10.1k661
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml0 1 00
finmap
Finset and finmap library
Language:Coq0 1 00
fourcolor
Formal proof of the Four Color Theorem
Language:Coq0 0 00
math-comp
Mathematical Components
Language:Coq0 0 00
analysis
Mathematical Components compliant Analysis Library
Language:Coq212 18 38149
finmap
Finite sets, finite maps, multisets and generic sets
Language:Coq47 16 2928
math-comp
Mathematical Components
Language:Coq597 33 341117
odd-order
The formal proof of the Odd Order Theorem
Language:Coq29 16 616

ggonthier/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCaml0 1 00
ggonthier/finmap
Finset and finmap library
Language:Coq0 1 00
ggonthier/fourcolor
Formal proof of the Four Color Theorem
Language:Coq0 0 00
ggonthier/math-comp
Mathematical Components
Language:Coq0 0 00