logo

Theory of proveit.core_expr_types.conditionals

Theory related to Conditional types of Prove-It expressions. A Conditional has a condition and a value. The expression evaluates to the value when the condition is satisfied (evaluates to true) but cannot be reduced if it is not satisfied.

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