Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:scientific_experiments
|
| gptkbp:developed_by |
gptkb:University_of_Cambridge
|
| gptkbp:first_released |
gptkb:1986
|
| gptkbp:has_feature |
interactive theorem proving
user-defined types structured proofs proof scripts proof automation proof assistants integration Isabelle/ HOL Isabelle/ ML Isabelle/ ZF locale-based reasoning |
| https://www.w3.org/2000/01/rdf-schema#label |
MS Isabelle
|
| gptkbp:programming_language |
gptkb:ML
|
| gptkbp:supports |
higher-order logic
|
| gptkbp:used_for |
formal verification
|
| gptkbp:bfsParent |
gptkb:Tallink_Silja_Line
|
| gptkbp:bfsLayer |
7
|