logo

Theory of proveit

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

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

core_expr_typestheories pertaining to some of the core exression types
logicbasic logic concepts: boolean arithmetic, equality, and set theory.
numbersbasic number concepts and operations for whole numbers, real numbers, and complex numbers.
physicsbasic physics-related concepts, including quantum topics

All axioms contained within this theory

This theory contains no axioms directly.

proveit.core_expr_types

proveit.logic

proveit.numbers

proveit.physics