Module 4 — Induction and Prove Mode

Clean induction, strengthening an inductive invariant, and the difference between asserting a fact and assuming it away.

Katas in this module (4)

• Kata 4.1 — Clean Induction
• Kata 4.2 — Strengthen the Induction
• Kata 4.3 — Even Counter — Prove Mode
• Kata 4.4 — Assert vs Assume

Part of Discrete Mathematics for Formal Verification on formal.org.