Or search by topic
These tasks involve finding all possible solutions and so lend themselves to proof by exhaustion.
These tasks offer opportunities to explore proof by counter example.
These tasks are useful contexts in which to explore proof by logical argument.