3 ms·Has Lean itself been proved?by prmph 18d agoHas Lean itself been proved?dekhn 18d agoI think pretty much every major mathematician has accepted that the ideas and implementation behind lean is solid.