Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:scientific_experiments
|
| gptkbp:developed_by |
gptkb:Cornell_University
research groups |
| gptkbp:first_released |
gptkb:1980
|
| gptkbp:has_applications_in |
software verification
|
| gptkbp:has_community |
academic researchers
|
| gptkbp:has_feature |
gptkb:political_theory
proof scripts proof automation proof strategies proof visualization interactive proof checking modular proofs tactic-based proofs |
| gptkbp:has_version |
Nuprl 8.0
|
| https://www.w3.org/2000/01/rdf-schema#label |
Nuprl 8
|
| gptkbp:is_a_tool_for |
proof development environment
|
| gptkbp:is_available_on |
gptkb:Linux
gptkb:mac_OS gptkb:Windows |
| gptkbp:is_compatible_with |
gptkb:Unix
|
| gptkbp:is_part_of |
computer science education
formal verification tools software engineering formal methods computer-aided verification Nuprl system |
| gptkbp:is_related_to |
gptkb:CORBA
gptkb:C_programming_language gptkb:Agda gptkb:Isabelle gptkb:Logic type systems |
| gptkbp:is_supported_by |
gptkb:Publications
tutorials community forums online resources user documentation |
| gptkbp:is_used_by |
computer scientists
|
| gptkbp:is_used_for |
mathematical proofs
program verification hardware verification algorithm verification specification of systems |
| gptkbp:is_used_in |
educational settings
research projects mathematics research theorem proving research |
| gptkbp:programming_language |
gptkb:ML
|
| gptkbp:provides |
interactive theorem proving
|
| gptkbp:supports |
gptkb:constructive_mathematics
dependent types |
| gptkbp:used_for |
formal verification
|
| gptkbp:written_in |
gptkb:C
|
| gptkbp:bfsParent |
gptkb:Nuprl
|
| gptkbp:bfsLayer |
7
|