Cross-Reference Redirection
Cross-Reference Redirection
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