4 ms·You should take a look into Lean Theorem Prover (among others) ;)by somethingsome 6y agoYou should take a look into Lean Theorem Prover (among others) ;)