List of all items[−]
Structs
- axioms::PEANO
- deduction::Deduction
- deduction::TheoremFrame
- logic_errors::LogicError
- types::Expression
- types::Number
- types::Variable
Enums
Traits
Functions
- operations::construction::and
- operations::construction::eq
- operations::construction::exists
- operations::construction::forall
- operations::construction::implies
- operations::construction::not
- operations::construction::or
- operations::production::existence
- operations::production::generalization
- operations::production::induction
- operations::production::interchange_ae
- operations::production::interchange_ea
- operations::production::predecessor
- operations::production::specification
- operations::production::successor
- operations::production::symmetry
- operations::production::transitivity