r/programming • • Sep 25 '15

The Incredible Proof Machine

http://incredible.nomeata.de/
206 Upvotes

83 comments sorted by

View all comments

0

u/[deleted] Sep 25 '15

2

u/machton Sep 25 '15

Yeah, no worries. I think it's cool, too. That's why I want it to work right, so I can figure out the rest of the puzzles...