🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусский中文EntityQ460340· pop 7· linked from 123 articlesIsabellehigher-order logic (HOL) automated theorem proverWikidata factsOfficial websiteisabelle.in.tum.deImageIsabelle jedit.pngSources (5)wikidata.orgisabelle.in.tum.deopenhub.neten.wikipedia.orgisabelle.in.tum.devia Wikidata · CC0Available in 7 languagesEspañolFrançaisDeutsch中文РусскийPortuguêsvia Wikidata sitelinks · CC0ConnectionsBSD licensesEntityautomated theorem provingEntityCategoriesFree theorem proversProof assistantsSoftware using the BSD license