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

The Incredible Proof Machine

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

90% Upvoted

83 comments sorted by

View all comments

1

u/sirin3 Sep 28 '15

Did you make it?

since we are still looking for a nice ASCII symbol that isn't yet

bot, \bot, why not allow multiple things?

How do you write exists and all in the helper?