|
gptkbp:instance_of
|
gptkb:Integrated_Development_Environment
|
|
gptkbp:bfsLayer
|
3
|
|
gptkbp:bfsParent
|
gptkb:CEO
|
|
gptkbp:community_support
|
Active community
|
|
gptkbp:dependency
|
gptkb:dessert
gptkb:sports_team
gptkb:Menhir
gptkb:Z3
gptkb:CEO
Coq IDE-plugins
|
|
gptkbp:developed_by
|
gptkb:INRIA
|
|
gptkbp:features
|
Code navigation
Error reporting
Document generation
Interactive proof development
Proof visualization
Tactic scripting
|
|
gptkbp:first_released
|
gptkb:2000
|
|
gptkbp:has_documentation
|
Available online
|
|
gptkbp:has_feature
|
gptkb:battle
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Coq IDE
|
|
gptkbp:integrates_with
|
Version control systems
Text editors
Continuous integration tools
IDE plugins
|
|
gptkbp:is_available_on
|
gptkb:smartphone
gptkb:operating_system
|
|
gptkbp:is_supported_by
|
gptkb:battle
|
|
gptkbp:is_used_for
|
Formal proof management
|
|
gptkbp:language
|
gptkb:sports_team
|
|
gptkbp:latest_version
|
8.14.1
|
|
gptkbp:license
|
gptkb:GNU_General_Public_License
|
|
gptkbp:module
|
gptkb:battle
|
|
gptkbp:platform
|
Cross-platform
|
|
gptkbp:related_to
|
gptkb:CEO
|
|
gptkbp:repository
|
gptkb:archive
|
|
gptkbp:supports
|
gptkb:sports_team
gptkb:Java
gptkb:Library
gptkb:Coq_proof_assistant
gptkb:battle
|
|
gptkbp:tactics
|
gptkb:battle
|
|
gptkbp:theory
|
gptkb:battle
|
|
gptkbp:tutorials
|
Available online
|
|
gptkbp:updates
|
Regular updates
|
|
gptkbp:user_base
|
gptkb:University
gptkb:physicist
Academics
Hobbyists
Software engineers
|
|
gptkbp:user_interface
|
gptkb:operating_system
|
|
gptkbp:written_in
|
gptkb:sports_team
|