EGRAPHS Community
Home
Community Meeting
Workshop
Zulip Chat
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
.