4 ms·… “but I guess it was able to formalize it in Lean, so…”by vessenes 9mo ago… “but I guess it was able to formalize it in Lean, so…”