Predicate Calculus: BasicsCovers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
The Role of SymmetriesDelves into symmetries in physics, covering group theory, perturbation, and quantification.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.