Pages that link to "Proof Assistant"
The following pages link to Proof Assistant:
Displaying 14 items.
- Lambda Calculus (← links)
- Curry-Howard Correspondence (← links)
- Formalism (philosophy of mathematics) (← links)
- Ritual (← links)
- Type theory (← links)
- Computer science (← links)
- Constructivism (epistemology) (← links)
- Theorem Proving (← links)
- Formal methods (← links)
- Theorem proving (← links)
- CompCert (← links)
- SeL4 (← links)
- Agda (← links)
- PVS (← links)