EntityQ460340· pop 7· linked from 123 articlesIsabelleSign in to savehigher-order logic (HOL) automated theorem proverConnectionsBSD licensesEntityautomated theorem provingEntityresolutionEntitymathematicsEntitycomputer scienceEntityLinuxEntityoperating systemEntityMicrosoft WindowsEntitysoftwareEntityQ15777Entityprogramming languageEntityPythonEntityQ2407EntityUniversity of CambridgeEntityfree softwareEntityWayback MachineEntitymacOSEntitydigital object identifierEntityInternational Standard Serial NumberEntityprogrammerEntityCategoriesFree theorem proversProof assistantsSoftware using the BSD license