Coq in Coq


Proofs in Coq

Table of contents

General Lemmas


Caml Programs


Example: Newman's lemma in Coc