3 ms·I think it proves lemmas it can submit all the lemmas it proved lolby Davidzheng 2y agoI think it proves lemmas it can submit all the lemmas it proved lol