Number Theory
=============

.. admonition:: To be written

   - Integer division
   - Mod
   - Divisibility
   - Quantified tests
       - Tests can start with `forall` or `exists`
       - Explain syntax.
       - `Prop` vs `Bool`.
           - `holds`
   - Exercises