# 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
logic basic logic concepts: boolean arithmetic, equality, and set theory. basic number concepts and operations for whole numbers, real numbers, and complex numbers.