4 ms·We can use things like Lean for math proofs, verification is tractable.by aspenmartin 5mo agoWe can use things like Lean for math proofs, verification is tractable.