grind: An SMT-Inspired Tactic for Lean 4 (Short Paper - System Description).

Kim Morrison, Leonardo de Moura

Browse the full IJCAR paper archive.