Index of concepts for Week 04

• 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 in essence
• tCPA command (Show Proof)
• tCPA keyword (... at ...)
• tCPA keyword (... in ...)
• tCPA tactic (assert)
• tCPA tactic (exists)
• tCPA tactic (induction)

Version

Added entries for The Coq Proof Assistant in essence [15 Feb 2025]

Created [07 Feb 2025]