ParentFull threaderichocean·> vibe mathAh yes, Lean 4. Famous for how unreliable it is. Absolute slop!View on HN