coq

The Coq Proof Assistant