|
gptkbp:instance_of
|
gptkb:software
|
|
gptkbp:application
|
gptkb:Mathematician
gptkb:language
gptkb:typeface
gptkb:currency
software engineering
formal methods
hardware verification
|
|
gptkbp:based_on
|
gptkb:CEO
|
|
gptkbp:community
|
open-source
|
|
gptkbp:developed_by
|
G. Gonthier
|
|
gptkbp:features
|
reflection
tactic language
SS Reflect tactics
|
|
gptkbp:has_documentation
|
available online
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Coq-ssreflect
|
|
gptkbp:influenced_by
|
Mathematical Components
|
|
gptkbp:integrates_with
|
gptkb:Coq_IDE
gptkb:Coq_Platform
gptkb:Coq_Proof_Assistant
gptkb:Emacs
gptkb:VS_Code
Coqtail
Coq-8.10
Coq-8.11
Coq-8.12
Coq-8.13
Coq-8.14
Coq-8.15
Coq-8.16
Coq-8.17
Coq-8.18
Coq-8.19
Coq-8.20
Proof General
|
|
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:platform
|
cross-platform
|
|
gptkbp:related_to
|
gptkb:CEO
|
|
gptkbp:release_date
|
gptkb:2010
|
|
gptkbp:repository
|
gptkb:archive
|
|
gptkbp:supports
|
dependent types
mathematical proofs
program verification
|
|
gptkbp:tutorials
|
available online
|
|
gptkbp:type
|
gptkb:document
|
|
gptkbp:written_in
|
gptkb:sports_team
|
|
gptkbp:bfsParent
|
gptkb:Coq_Platform
|
|
gptkbp:bfsLayer
|
8
|