6 ms·

Why did Lean win over Isabelle?