# IJCAR 2026: `grind`, An SMT-Inspired Tactic for Lean 4

Ancillary materials for the paper.

- `examples.lean`: interactive examples from the paper
- `analyze_grind_loc.py`: script used for the evaluation section, analyzing `grind` adoption and lines-of-code changes in Mathlib
