A short introduction to the
grind
tactic
A short introduction to the
grind
tactic
Table of Contents
1.
Basic usage of
grind
2.
Intuition of how
grind
works
3.
Understanding error messages
4.
Basic derivations of new facts
5.
E-matching
6.
Satellite solvers
7.
Interactive mode
8.
Miscellaneous further things
9.
Sources and Resources
8.
Miscellaneous further things
8.1.
Local
grind
8.2.
Defining custom
grind
sets
8.3.
Style and Conventions
←
7.2. Interactive mode tactic language
8.1. Local grind
→
8. Miscellaneous further things
🔗
8.1.
Local
grind
8.2.
Defining custom
grind
sets
8.3.
Style and Conventions
←
7.2. Interactive mode tactic language
8.1. Local grind
→