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