Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theorem prover
|
| gptkbp:developedBy |
Isabelle Development Team
|
| https://www.w3.org/2000/01/rdf-schema#label |
Isabelle2023
|
| 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
|
| gptkbp:bfsLayer |
7
|