Exercises in Induction | Software Foundations in Coq | LF | Induction

A reminder that every chapter in Software Foundations has useful exercises that you can complete as you follow this video series. Textbook: https://clarksmr.github.io/sf-lectures/textbook/lf/toc.html Supporting materials: https://github.com/clarksmr/sf-lectures/tree/main/notes/lf