Nqthm – the original Boyer-Moore theorem prover, from 1992github.com2 points·jaredsohn··0 commentsOpen articleSaveView on HN