7 ms·
I think pretty much every major mathematician has accepted that the ideas and implementation behind lean is solid.
by dekhn 7d ago
I think pretty much every major mathematician has accepted that the ideas and implementation behind lean is solid.