wrongbyte/software-foundations

:sparkles: software foundations study repository and bad notes

Software Foundations book

TODO

[ ] Binary commute (chapter 2)

[ ] Formal vs. informal proof (chapter 2)

Table of solutions

Section Title	Coq File	Status
Basics	Basics.v	Solved
Induction	Induction.v	Solved
Lists	Lists.v	Solved
Poly	Poly.v	In progress