ALF (proof assistant)Agda (programming language)Albatross (programming language)Automated proof checkingAutomathEpigram (programming language)HOL (proof assistant)HOL LightIsabelle (proof assistant)Jape (software)LEGO (proof assistant)Logic for Computable FunctionsLogical frameworkMINLOGNuprlPhoXPrototype Verification SystemQED manifestoTotal functional programming
subject
Wikipage page ID
33,159,529
Wikipage revision ID
451,672,569
type
label
Proof assistants
@en
broader
prefLabel
Proof assistants
@en