News for hackers. Stuff that matters.

A comment on My unusual hobby. Parent comment

Re:My unusual hobby by mcguire on Saturday November 25, 2017 @09:27PM (#15779145)
Lamport's structured proofs... should be easier. But I haven't had enough experience to say.
[ Parent | on HN ]

There are no comments on this comment yet.