Isabelle (proof assistant)

Property	Value
rdf:type	owl:NamedIndividual Proof assistant Software
rdfs:label	Isabelle (proof assistant)
owl:sameAs	dbr:Isabelle_(proof_assistant)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/JFreeChart http://en.wikipedia.org/wiki/Proof_assistant http://en.wikipedia.org/wiki/Standard_ML
skos:prefLabel	Isabelle (proof assistant)
skos:altLabel	Isabelle Isabelle (proof assistant)#Features Isabelle proof assistant Isabelle/HOL Isabelle_(proof_assistant)
clgo:author	Lawrence Paulson
clgo:developer	Technical University of Munich University of Cambridge
clgo:genre	Mathematics
clgo:latestReleaseVersion	Isabelle2021
clgo:license	BSD licenses
clgo:operatingSystem	MacOS Linux Microsoft Windows
clgo:programmingLanguage	Scala (programming language) Standard ML
is clgo:influenced of	Haskell
is clgo:knownFor of	Lawrence Paulson Tobias Nipkow

About: clgr:Isabelle_(proof_assistant)