4 ms·Is there a formalization of this proof? Lean, Coq, .... ?by fithisux 2y agoIs there a formalization of this proof? Lean, Coq, .... ?