Contribution: CoursDeCoq

Various examples of Coq proofs

Authors

• Frédéric Prost
• Gilles Kahn

Description

Various simple examples of Coq proofs

Keywords

coq, examples

Available files

• CoursDeCoq.ex1_auto.html
• CoursDeCoq.Partial_order_facts.html
• CoursDeCoq.Relations_1.html
• CoursDeCoq.Relations_2.html
• CoursDeCoq.Relations_3_facts.html
• CoursDeCoq.drinker.html
• CoursDeCoq.podefs_1.html
• CoursDeCoq.Relations_3.html
• CoursDeCoq.ps.html
• CoursDeCoq.ex1.html
• CoursDeCoq.Relations_1_facts.html
• CoursDeCoq.Fil.html
• CoursDeCoq.Ensembles.html
• CoursDeCoq.Relations_2_facts.html
• CoursDeCoq.podefs.html