5 ms·> niche theorem prover As opposed to popular theorem provers.by zorked 2y ago> niche theorem prover As opposed to popular theorem provers.