Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Short Coq TutorialOffers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Optimization and SimulationExplores optimization, simulation, data analysis, and the importance of considering more than just the mean in engineering systems.
Logic: Proof TechniquesExplores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.