HOL (proof assistant)

De Wikipédia, l'encyclopédie libre