> niche theorem prover

As opposed to popular theorem provers.