grind in Lean 4
Speaker: Leonardo de Moura2025-09-18
Leonardo de Moura
will present on the interals of the grind tactic in Lean 4.
Slides from the presentation.
Leonardo de Moura
will present on the interals of the grind tactic in Lean 4.
Slides from the presentation.