Covers all generic number concepts: sets of numbers (integers, reals, and complexes), number relations (<, $\leq$, >, $\geq$), and numeric operations (+, -, $\times$, /, mod, exp), and operations over numeric functions ($\sum$, $\prod$, $\partial$, $\nabla$, $\int$).
In [1]:
importproveit%theory # toggles between interactive and static modes
