TODO
[ ] Binary commute (chapter 2)
[ ] Formal vs. informal proof (chapter 2)
| Section Title | Coq File | Status |
|---|---|---|
| Basics | Basics.v | Solved |
| Induction | Induction.v | Solved |
| Lists | Lists.v | Solved |
| Poly | Poly.v | In progress |
wrongbyte/software-foundations
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|