Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem_prover
|
| gptkbp:developedBy |
Isabelle Development Team
|
| gptkbp:license |
gptkb:BSD_license
|
| gptkbp:partOf |
gptkb:Isabelle
|
| gptkbp:platform |
gptkb:Windows
gptkb:macOS gptkb:Linux |
| gptkbp:programmingLanguage |
gptkb:Scala
gptkb:Standard_ML |
| gptkbp:releaseYear |
2023
|
| gptkbp:supports |
gptkb:Isabelle/HOL
Isabelle/ZF |
| gptkbp:website |
https://isabelle.in.tum.de/
|
| gptkbp:bfsParent |
gptkb:Isabelle_(proof_assistant)
gptkb:Isabelle_proof_assistant |
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Isabelle2023
|