3 ms·And then after that you need to go into formal proofs.by andrewchambers 11y agoAnd then after that you need to go into formal proofs.