Number Theory

To be written

• Integer division

• Mod

• Divisibility

• Quantified tests

  • Tests can start with forall or exists

  • Explain syntax.

  • Prop vs Bool.

    • holds

• Exercises