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