Mathematical Components project
GPTKB entity
Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
research
|
| gptkbp:affiliatedWith |
gptkb:Inria
gptkb:Université_Paris-Saclay |
| gptkbp:developedBy |
gptkb:Mathematical_Components_library
|
| gptkbp:field |
gptkb:mathematics
computer science |
| gptkbp:focusesOn |
formalization of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mathematical Components project
|
| gptkbp:notableWork |
formal proof of the Four Color Theorem
formal proof of the Feit–Thompson theorem |
| gptkbp:uses |
gptkb:Coq_proof_assistant
|
| gptkbp:website |
https://math-comp.github.io/
|
| gptkbp:bfsParent |
gptkb:SSReflect_extension
|
| gptkbp:bfsLayer |
6
|