3 ms·
I can't for the life of me find the actual PDF they say they made, with the whole typesetting pipeline in action. I don't think I've missed anything obvious, th
by cormacrelf 5y ago
I can't for the life of me find the actual PDF they say they made, with the whole typesetting pipeline in action. I don't think I've missed anything obvious, the website has this (without a link)
> a pleasingly typeset edition of Principia’s first 131 pages in LaTeX, going from its introduction through the end of its propositional logic (up to *5).
It has a link to a 113-page PDF that's just the Coq source rendered with syntax highlighting. So that's not it. The remaining PDFs in the GitHub repo are only samples of two of the propositions.