nqthm - the original Boyer-Moore theorem prover, from 1992
Primary LanguageCommon LispGNU General Public License v3.0GPL-3.0