Index of concepts for Week 11

• CoInductive (Gallina keyword)
• Gallina keyword (CoInductive)
• induction principle (over Peano numbers, 1st order)
• induction principle (over Peano numbers, 2nd order)
• induction principle (over Peano numbers, 3rd order)
• induction principle (over Peano numbers, 4th order)
• induction principle (over Peano numbers, 6th order)
• induction principle (over Peano numbers, course of values)
• induction principle (over Peano numbers, strong)
• induction principle (over Peano numbers, tailored)
• induction principle (over Peano numbers, weak)
• induction principle (over Peano numbers, which one to choose)
• integers
• streams
• subtracting natural numbers (the problem with)

Version

Added the entries about integers and about subtracting natural numbers [05 Jun 2025]

Added the entries about tailored induction principles and about which induction principle to choose [23 May 2025]

Added three entries for Chapter Programming with streams [11 Apr 2025]

Created [04 Apr 2025]