Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Propositions and ProofsExplores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Short Coq TutorialOffers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.