Mathlib Manual
Mathlib Manual
Table of Contents
1.
Tactics
2.
Guides
1.
Tactics
1.1.
Interactive
1.2.
Automation
1.3.
Algebra
1.4.
Analysis
1.5.
Coercions
1.6.
Category Theory
1.7.
Logic
1.8.
Induction / case distinction
1.9.
Basic tactics / assumptions
1.10.
Definitional equality
1.11.
Conv mode
1.12.
Control flow
1.13.
For Tests
1.14.
Miscellaneous
1.15.
All tactics
1.6.
Category Theory
Source Code
Report Issues
←
1.5. Coercions
1.7. Logic
→
1.6. Category Theory
These tactics are explicitely written for category theory.
TODO
←
1.5. Coercions
1.7. Logic
→
