Boyer-Moore theorem prover

  1. REDIRECT Nqthm