Statements (82)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:COQ
|
| gptkbp:allows |
Extending Coq's functionality
|
| gptkbp:can_be_extended_by |
User-defined functions
|
| gptkbp:can_be_used_with |
gptkb:Coq_proof_assistant
Other plugins |
| gptkbp:collaborated_with |
Academic institutions
Industry partners Open source projects Research groups |
| gptkbp:developed_by |
gptkb:CEO
gptkb:GPL_license |
| gptkbp:distributes |
Open source software
|
| gptkbp:enables |
Automated reasoning
|
| gptkbp:enhances |
User experience
|
| gptkbp:facilitates |
Interactive theorem proving
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coq-Plugins
|
| gptkbp:includes |
gptkb:Libraries
|
| gptkbp:is_accessible_by |
gptkb:software
|
| gptkbp:is_available_in |
Multiple languages
|
| gptkbp:is_available_on |
gptkb:archive
|
| gptkbp:is_compatible_with |
Various operating systems
Various Coq versions |
| gptkbp:is_documented_in |
Research papers
Technical reports Online resources User manuals Coq documentation |
| gptkbp:is_evaluated_by |
Peer review
|
| gptkbp:is_influenced_by |
Type theory
|
| gptkbp:is_integrated_with |
Version control systems
Testing frameworks IDE tools Continuous integration tools Development environments |
| gptkbp:is_maintained_by |
Community contributors
|
| gptkbp:is_part_of |
Computer science education
Software development lifecycle Software engineering practices Formal verification tools Coq ecosystem Formal verification frameworks |
| gptkbp:is_popular_in |
Academia
|
| gptkbp:is_prominent_in |
Mathematical logic
Theorem proving community Formal verification research |
| gptkbp:is_promoted_by |
gptkb:Workshops
Conferences Online communities |
| gptkbp:is_related_to |
Formal methods
|
| gptkbp:is_supported_by |
gptkb:Community_events
gptkb:document Online tutorials User forums Coq community |
| gptkbp:is_tested_for |
Benchmarks
Real-time systems Cloud environments Simulation tools Unit tests Real-world applications Experimental setups |
| gptkbp:is_used_by |
gptkb:physicist
|
| gptkbp:is_used_for |
Formal verification
Model checking Mathematical proofs Protocol verification Algorithm verification Create custom tactics Distributed systems verification |
| gptkbp:is_used_in |
gptkb:Educational_Institution
|
| gptkbp:is_utilized_in |
Software verification
Research projects Security proofs Software engineers |
| gptkbp:notable_recipients |
Open source community
|
| gptkbp:provides |
Custom tactics
|
| gptkbp:requires |
Coq installation
|
| gptkbp:supports |
Proof assistants
Proof automation |
| gptkbp:written_in |
gptkb:sports_team
|