News for hackers. Stuff that matters.

A comment on My unusual hobby. Parent comment

Re:My unusual hobby by Wizek on Saturday November 25, 2017 @05:23PM (#15778324)
Couldn't it be possible to unfold a proof by printing all the subsequent proof states one after the other? Wouldn't that be easier to follow?
[ Parent | on HN ]

There are no comments on this comment yet.