logoalt Hacker News

baq • today at 3:17 PM • 0 replies • view on HN

well a SAT solver is kinda sorta a theorem prover right...?