The great theorem prover showdownhillelwayne.com4 points·msangi··0 commentsOpen articleSaveView on HN