← All repos

John-Nagle/nqthm

View on GitHub ↗ ★ 61 Common Lisp

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

20 mentions on Hacker News by 2 people: 1 story, 19 comments · first 2016-08-07 · latest 2026-10-14