10 ms·> vibe math Ah yes, Lean 4. Famous for how unreliable it is. Absolute slop!by erichocean 4d ago> vibe math Ah yes, Lean 4. Famous for how unreliable it is. Absolute slop!