CalcCheck Instances for COMPSCI&SFWRENG 2DM3, Fall 2020

(Accessing the notebooks from here bypasses Avenue, so you won't be able to save, nor see your previous saves.)

Introduction to Calculational Proofs

Propositional Calculus, Natural Induction

Structured Proofs and Sum/Product Quantification

Quantification and Predicate Logic

Relations, Graphs, etc.