EntityQ1609529· pop 11· linked from 59 articlesMizarSign in to saveproof assistantConnectionstype systemEntityproof assistantEntityeconomicsEntityInternational Standard Book NumberEntityWikiConceptnatural numberEntityWayback MachineEntitydigital object identifierEntityexponentiationEntityPDFEntityprobability theoryEntityQ8815EntityQ118398Entityprogramming paradigmEntityformal languageEntitypeer reviewEntityCambridge University PressEntityfilename extensionEntityZeta Ursae MajorisEntityUniversity of AlbertaEntityCategoriesDependently typed languagesEducational math softwareLarge-scale mathematical formalization projectsProgramming languages created in 1973Proof assistantsSoftware programmed in Pascal