2020 update on the Principia Rewrite project

This just in, and just time for the new year:

A Github repository has the source code in Coq and TeX, plus some PDFs for ease of viewing by non-Coq or non-TeX users: https://github.com/LogicalAtomist/principia.

More updates on the Principia Rewrite Project will be posted to the repository once the quantification theory is computer-checked and typeset. Until then, happy New Year!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s