Hands-on with Prooftoys

• Natural Numbers Game

• Proof builder

• The repetitious number

• Country music theorem

• How long is a lunar?

• Solving linear equation with 1 variable

• Solving linear equations with 2 variables

• Division by zero