Dependent type
article-link
What links here
Prototype Verification System
Mathematical software
article-link
Proof assistant
article-link
PVS
article-link
DLX
article-link
Formal verification
article-link
Type theory
article-link
Common Lisp
article-link
Automated theorem proving
article-link