3 ms·
I think in formal domain like lean it should actually be possible to do it from zero--but seems like no major successes no far
by Davidzheng 1y ago
I think in formal domain like lean it should actually be possible to do it from zero--but seems like no major successes no far