Mathematical Components team
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:affiliation |
gptkb:Inria
gptkb:Université_Paris-Saclay |
| gptkbp:field |
gptkb:mathematics
computer science |
| gptkbp:focusesOn |
gptkb:Coq_proof_assistant
proof assistants formalization of mathematics |
| gptkbp:location |
gptkb:France
|
| gptkbp:notableProject |
gptkb:Mathematical_Components_library
formal proof of the Four Color Theorem formal proof of the Feit–Thompson theorem |
| gptkbp:website |
https://math-comp.github.io/
|
| gptkbp:bfsParent |
gptkb:Mathematical_Components_library
gptkb:SSReflect_extension |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mathematical Components team
|