News for hackers. Stuff that matters.
Re:My unusual hobby by mcguire on Saturday November 25, 2017 @01:08PM (#15777036)
Unfortunately, smart tactics make proofs even harder to read. :-)

There are no comments on this comment yet.