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