as_expressions

proveit.as_expressions(\*truth_or_expressions)[source]

Return the arguments as a list of Expressions via as_expression.