News for hackers. Stuff that matters.

A comment on My unusual hobby. Parent comment

Re:My unusual hobby by pron on Saturday November 25, 2017 @01:55PM (#15777282)
Or TLA+.
[ Parent | on HN ]
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 ]