EGRAPHS Community

grind in Lean 4

2025-09-18

Talk begins at 9am PT on Zoom. The Zoom link will be distributed on the EGRAPHS Zulip just in time for each session.

Leonardo de Moura will present on the interals of the grind tactic in Lean 4.