|
gptkbp:instanceOf
|
gptkb:proof_assistant
|
|
gptkbp:application
|
gptkb:mathematics
computer science
formal verification
theorem proving
|
|
gptkbp:citation
|
gptkb:Paulson,_L._C._(1994)._Isabelle:_A_Generic_Theorem_Prover._Springer.
|
|
gptkbp:developer
|
gptkb:Lawrence_C._Paulson
|
|
gptkbp:firstReleased
|
1986
|
|
gptkbp:license
|
gptkb:BSD_License
|
|
gptkbp:notableProject
|
gptkb:Archive_of_Formal_Proofs
gptkb:seL4_microkernel_verification
|
|
gptkbp:notableUser
|
gptkb:Gerwin_Klein
gptkb:Makarius_Wenzel
gptkb:Tobias_Nipkow
|
|
gptkbp:operatingSystem
|
Cross-platform
|
|
gptkbp:programmingLanguage
|
gptkb:OCaml
gptkb:Standard_ML
|
|
gptkbp:software
|
gptkb:Lean_(proof_assistant)
gptkb:Agda
gptkb:Coq
gptkb:HOL_Light
|
|
gptkbp:supports
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:First-order_logic
gptkb:Higher-order_logic
|
|
gptkbp:website
|
https://isabelle.in.tum.de/
|
|
gptkbp:bfsParent
|
gptkb:The_Walking_Dead:_Daryl_Dixon
gptkb:HOL
gptkb:Isabelle_van_den_Broek
gptkb:Hugo_(2011_film)
gptkb:Isabel
gptkb:Tallink_Silja
gptkb:Animal_Crossing
gptkb:L'Illusion_comique
gptkb:Robert_le_diable
gptkb:LCF_theorem_prover
gptkb:CivilWarLand_in_Bad_Decline
gptkb:The_Invention_of_Hugo_Cabret
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Isabelle
|