logo

Theory of proveit.core_expr_types

Theory related to Expression types defined in Prove-It's core.

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

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

operationstheory pertaining to Operation expressions
conditionalstheory pertaining to Conditional expressions
lambda_mapstheory pertaining to Lambda expressions
tuplestheory pertaining to ExprTuple and ExprRange types
indexed_varstheory pertaining to IndexedVar types
expr_arraysAn ExprArray is an ExprTuple of ExprTuples presented in a 2-D format

All axioms contained within this theory

This theory contains no axioms directly.

proveit.core_expr_types.operations

proveit.core_expr_types.conditionals

proveit.core_expr_types.lambda_maps

proveit.core_expr_types.tuples

proveit.core_expr_types.indexed_vars

This sub-theory contains no axioms.

proveit.core_expr_types.expr_arrays

This sub-theory contains no axioms.