Homogenize style
Finish the basics chapter
Ignore dependency files
Start with Induction chapter
Proof mult_comm
Add evenb/oddb
Finish another exercise