Lean-Proof-Assistant
We Let AI Skip Code Review. Math Didn't.