MetaPRL proof assistant

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf proof assistant
gptkbp:developer gptkb:MetaPRL_team
gptkbp:feature modular architecture
interactive proof development
integration with programming languages
extensible logic framework
rewriting engine
support for formal verification
support for multiple logics
tactic-based proof system
https://www.w3.org/2000/01/rdf-schema#label MetaPRL proof assistant
gptkbp:license gptkb:GNU_General_Public_License
gptkbp:programmingLanguage gptkb:OCaml
gptkbp:repository https://github.com/meta-logic/meta-prl
gptkbp:supports gptkb:classical_logic
gptkb:linear_logic
constructive logic
higher-order logic
gptkbp:bfsParent gptkb:MetaPRL_team
gptkb:Jason_Hickey
gptkbp:bfsLayer 7