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...
[ Parent
| on HN ]
There are no comments on this comment yet.