Brandon Rozek

October, 2021

Lean Theorem Prover Tactics