The grind tactic in Lean 4 [video]

(youtube.com)

2 points | by matt_d 14 hours ago ago