Coq is a formal verification system based on the Lambda Calculus.
Table of Contents
Trace: • An Unsolvable Problem of Elementary Number Theory • Alexandria • Coq
