John-Nagle/nqthm

nqthm - the original Boyer-Moore theorem prover, from 1992

2 best points · 0 comments · 1 Hacker News post · 61 GitHub stars · View on GitHub

Hacker News discussions

• Nqthm – the original Boyer-Moore theorem prover, from 1992 (2 points, 0 comments, by jaredsohn, 2016-08-07)