Re:The Incredible Proof Machine (2016)
by abecedarius on Sunday March 31, 2019 @09:32PM
(#19539707)
My natural inclination in the first problem (A->A) was to drag the output A onto the input A (or vice versa), and when nothing then happened I couldn't see how to fix things. Reading the info link didn't clear that up; I had to read the journal paper and skim for a completed example there.
Re:The Incredible Proof Machine (2016)
by godelski on Sunday March 31, 2019 @09:48PM
(#19539771)
That actually what I did first too (well, drag output to input), and was really irritated that they didn't line up. But next step was to click. Took a few tries to realize I could drag.
(Just trying to help; I like the idea.)