Nqthm – the original Boyer-Moore theorem prover, from 1992github.com/John-Nagle2 pointsjaredsohn10 years ago