EGRAPHS Community

grind in Lean 4

Speaker: Leonardo de Moura

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.