Index of concepts for Week 03

• Inductil (the Light of)
• induction hypotheses
• induction hypothesis
• induction hypothesis (strengthening the)
• induction (mathematical)
• induction (routine)
• induction (structural, for Peano numbers)
• induction (structural, for binary trees)
• involution
• involutory function
• nat_ind
• referential transparency
• specification
• specification (ambiguous)
• specification (satisfaction)
• specification (vacuous)
• tCPA tactic (assert)
• tCPA keyword (... at ...)
• tCPA tactic (exists)
• tCPA keyword (... in ...)
• tCPA tactic (induction)

Version

Created [01 Feb 2024]