Meta Topics|Advanced Topics

Software Technology: Proof by Induction, Structured Data

Assumed Knowledge:
Learning Outcomes:
  • Write your first proofs by induction, rewriting, and case analysis in Coq.

All the material for this topic is contained in the Induction and Lists chapters of Software Foundations.