4 ms·

Let's hope Lean really is bug free. https://arxiv.org/html/2609.04170v1 https://arxiv.org/html/2609.04170v1