Coq in Coq (enhanced version)


Proofs in Coq


General Lemmas


Caml Programs


Example: Newman's lemma in Coc


Coq version:

Welcome to Coq V6.1 (Dec 24 1996)