Short Coq TutorialOffers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Propositional Logic: Normal FormsExplores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
