logo

Context: proveit

This is the top-level context for general "textbook" mathematics.

In [1]:
import proveit
%context # toggles between interactive and static modes
common expressions axioms theorems demonstrations
logicbasic logic concepts: boolean arithmetic, equality, and set theory.
numberbasic number concepts and operations for whole numbers, real numbers, and complex numbers.