WORK IN PROGRESS

Homework 12 - Induction and the natural numbers

Due 2022-11-14.

You can find and submit the assignment on our Github Classroom.