Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:dependency |
gptkb:CEO
|
| gptkbp:developed_by |
Mathematical Components
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coq-stdpp
|
| gptkbp:is_maintained_by |
Coq developers
|
| gptkbp:language |
gptkb:CEO
|
| gptkbp:latest_version |
1.0.0
|
| gptkbp:license |
gptkb:MIT
|
| gptkbp:purpose |
providing standard prelude for Coq
|
| gptkbp:release_date |
gptkb:2018
|
| gptkbp:repository |
https://github.com/ Coq-stdpp/stdpp
|
| gptkbp:bfsParent |
gptkb:Coq_Platform
|
| gptkbp:bfsLayer |
8
|