Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Designing a Theorem Prover – Lawrence C Paulson.
The reader can decide if they want to go further. Thanks.
Also, enjoying your submissions, but please pace yourself.
There are no comments on this comment yet.
The reader can decide if they want to go further. Thanks.
Also, enjoying your submissions, but please pace yourself.