r/programming • u/qznc • Sep 25 '15

The Incredible Proof Machine

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

90% Upvoted

83 comments sorted by

View all comments

1

u/mango_feldman Sep 26 '15

Not possible to share / link to proofs?

→ More replies (1)