News for hackers. Stuff that matters.

A comment on Whitehead and Russell’s Principia rewritten in Coq. Parent comment

Re:Whitehead and Russell’s Principia rewritten in Coq by coldtea on Monday December 06, 2021 @01:00AM (#29456657)
>They obviously didn't use TeX. Whatever they did, it must have been a truly staggering amount of work.

Well, tons of math books have been typeset before digital typesetting and/or TeX, they had the knack of it by the time.

[ Parent | on HN ]

There are no comments on this comment yet.