Coq is a formal verification system based on the Lambda Calculus.
Table of Contents
Trace: • Alexandria • Paper Reviews • Coq
