package induction
Ordering
- Alphabetic
Visibility
- Public
- Protected
Value Members
- object associativity extends TacticsProof
- object associativitySpecialCase extends TacticsProof
- object comm extends TacticsProof
- object evenodd extends TacticsProof
- object factorial extends TacticsProof
- object primeFactor extends TacticsProof
This is the API documentation for GAPT.
The main package is gapt.