My solutions to the Software Foundations Book https://softwarefoundations.cis.upenn.edu/
| Chapter name | Required Exercises | Additional Exercises |
|---|---|---|
| Basics | Completed | 1 problem left |
| Induction | Completed | 1 problem left |
| Lists | Completed | Completed |
| Poly | Completed | Completed |
| Tactics | Completed | all left |
| Logic | 1 left | some left |
| IndProp | many left | many left |
| Maps | 1 left | 1 left |
| ProofObjects | completed | 2 left (leibniz_2 & ex_ev_Sn) |
| IndPrinciples | completed | completed |
| Rel | completed | 2 |
| Imp | many | many |
| ImpParser | completed | completed |
| ImpCEvalfun | 1 left | - |
| Extraction | - | - |
| Auto | - | - |