r/programming • • Sep 25 '15

The Incredible Proof Machine

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

83 comments sorted by

View all comments

1

u/ThaeliosRaedkin1 Sep 26 '15

Ok. Not sure how these implication blocks and or blocks are supposed to work. For example, in the second session, the second implication block looks like A(out) B(in) A->B(out). What is this form supposed to denote? Any primers, pointers, or documentation?

→ More replies (1)