grind in Lean 4
Speaker: Leonardo de MouraVideo
2025-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.