mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
e760b8ddf5
This adds the ancillary materials for the IJCAR 2026 grind paper to `doc/examples/IJCAR2026/`. - `examples.lean`: interactive examples from the paper - `analyze_grind_loc.py`: script used for the evaluation section (analyzing grind adoption LoC changes in mathlib) 🤖 Prepared with Claude Code --------- Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
IJCAR 2026: grind, An SMT-Inspired Tactic for Lean 4
Ancillary materials for the paper.
examples.lean: interactive examples from the paperanalyze_grind_loc.py: script used for the evaluation section, analyzinggrindadoption and lines-of-code changes in Mathlib