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
|