MetaPRL

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:software
proof assistant
gptkbp:developer gptkb:MetaPRL_team
gptkbp:feature modular design
rewriting system
extensible architecture
interactive proof development
integration with programming languages
tactic-based proof engine
https://www.w3.org/2000/01/rdf-schema#label MetaPRL
gptkbp:license gptkb:GNU_General_Public_License
gptkbp:openSource true
gptkbp:programmingLanguage gptkb:OCaml
gptkbp:supports gptkb:logic
gptkb:set_theory
gptkb:first-order_logic
higher-order logic
gptkbp:usedFor gptkb:mathematics
formal verification
program verification
gptkbp:website http://metaprl.org/
gptkbp:bfsParent gptkb:NuPRL
gptkbp:bfsLayer 5