Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software_framework
|
| gptkbp:bfsLayer |
7
|
| gptkbp:bfsParent |
gptkb:Coq_8.14
gptkb:Coq_8.15 |
| gptkbp:based_on |
Gallina
Caml |
| gptkbp:developed_by |
gptkb:Inria
|
| gptkbp:has |
https://coq.inria.fr/examples
|
| gptkbp:has_community |
formal methods community
Coq community proof assistants community |
| gptkbp:has_documentation |
Coq documentation
Coq tutorials |
| gptkbp:has_website |
https://coq.inria.fr/platform
|
| https://www.w3.org/2000/01/rdf-schema#label |
Coq Platform
|
| gptkbp:includes |
gptkb:Coq_IDE
gptkb:Coq_proof_assistant gptkb:Coq-mathcomp gptkb:Coq-quickchick gptkb:Coq-ssreflect gptkb:Coq-stdpp Matita Ssreflect |
| gptkbp:is_a_hub_for |
https://github.com/coq/platform
|
| gptkbp:is_available_on |
gptkb:smartphone
gptkb:operating_system |
| gptkbp:is_compatible_with |
gptkb:sports_team
gptkb:Library |
| gptkbp:is_part_of |
formal verification tools
proof development environments interactive theorem provers |
| gptkbp:is_used_by |
universities
government agencies research institutions software companies |
| gptkbp:language |
gptkb:CEO
|
| gptkbp:latest_version |
2021.10
|
| gptkbp:license |
gptkb:LGPL
MIT License |
| gptkbp:provides |
interactive theorem proving
proof automation tools tactic language |
| gptkbp:release_date |
gptkb:2020
|
| gptkbp:released |
https://coq.inria.fr/platform/releases
|
| gptkbp:supports |
formal verification
community support dependent types proof assistants commercial support |
| gptkbp:tutorials |
https://coq.inria.fr/tutorials
|
| gptkbp:used_in |
gptkb:Mathematician
software verification formal methods hardware verification |