Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:application |
gptkb:Mathematician
gptkb:currency Computer science Formal methods |
| gptkbp:community |
Open-source community
|
| gptkbp:dependency |
gptkb:CEO
SS Reflect |
| gptkbp:developed_by |
Mathematical Components team
|
| gptkbp:features |
Numerical analysis
Homological algebra Algebraic structures Finite fields Combinatorial structures |
| gptkbp:has_documentation |
https://math-comp.github.io/
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coq-mathcomp
|
| gptkbp:is_used_for |
Formal verification
|
| gptkbp:language |
gptkb:CEO
|
| gptkbp:latest_version |
1.12.0
|
| gptkbp:license |
gptkb:LGPL
|
| gptkbp:next_edition |
1.0
|
| gptkbp:release_date |
gptkb:2013
|
| gptkbp:repository |
https://github.com/math-comp/math-comp
|
| gptkbp:supports |
Dependent types
|
| gptkbp:bfsParent |
gptkb:Coq_Platform
|
| gptkbp:bfsLayer |
8
|