4 ms·Ideally, we would prove the theorem that any proof the software produces must be correct.by nimonian 4y agoIdeally, we would prove the theorem that any proof the software produces must be correct.