Home›Browse›Isabelle🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPortuguêsSvenskaРусский中文EntityQ460340· pop 7· linked from 123 articlesIsabelleSign in to savehigher-order logic (HOL) automated theorem proverAvailable in 7 languagesEspañolFrançaisDeutsch中文РусскийPortuguêsvia Wikidata sitelinks · CC0