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
7.
Interactive mode
7.1.
Example use case
7.2.
Interactive mode tactic language
←
6. Satellite solvers
7.1. Example use case
→
7. Interactive mode
🔗
7.1.
Example use case
7.2.
Interactive mode tactic language
←
6. Satellite solvers
7.1. Example use case
→