Home›Free theorem provers›Isabelle🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусский中文EntityQ460340· pop 7· linked from 123 articlesIsabellehigher-order logic (HOL) automated theorem proverWikidata factsOfficial websiteisabelle.in.tum.deImageIsabelle jedit.pngShow 3 more factsinception1986-00-00IRC channel URLirc://irc.libera.chat/#isabelleStack Exchange tagstackoverflow.com/tags/isabelleSources (5)wikidata.orgisabelle.in.tum.deopenhub.neten.wikipedia.orgAvailable in 7 languagesEspañolFrançaisDeutsch中文РусскийPortuguêsvia Wikidata sitelinks · CC0ConnectionsBSD licensesEntityautomated theorem provingEntityCategoriesFree theorem proversProof assistantsSoftware using the BSD license