News for hackers. Stuff that matters.
Re:Whitehead and Russell’s Principia rewritten in Coq by coldtea on Monday December 06, 2021 @01:01AM (#29456666)
Why would they? There would have been any number of typographers handling such work, and several already working for Cambridge and Oxford books...

There are no comments on this comment yet.