Add binary numbers, more work on induction
Merge branch 'master' of https://github.com/nickr500/foundations