Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
| 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:Jason_Hickey
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
MetaPRL proof assistant
|