Meta Topics|Advanced Topics

Software Technology: Polymorphism and Higher Order Data

Assumed Knowledge:
Learning Outcomes:
  • Have a broader range of Coq tactics in your proof-toolbox.

All the material for this topic is contained in the Tactics chapter of Software Foundations.