Behind our project formalizing Principia Mathematica, today our team has been formed. Participants consist of a leader that writes documentation 10 words in this day, an undergrad that hides his activity from Discord server since the morning, plus a professional master who haven't yet joined the Discord group from our Reddit discussions! You guys will soon find it out that you have no salary to get, no more features to add and will be fired. Welcome to the team.

Welcome to the first PR contributing to our project! Everything starts slow and grows fast. It has been 3 days since I have privately proposed the requirement, but this latency is still way better than me: longest record for myself is a full month! Such massive achievement worths a separate milestone being recorded in the docs.

Writing the documentation is such a enjoyable work: You have to write it again, because you know what you're doing is just preparing for your next rewrite! A whole week has already been dedicated to a single page, and you know it isn't even the end.

Welcome to another episode of our unofficial dev log! I have finally made the docs covering necessary details, which means it might still be unreadable! At the same time our only fellow contributor started to appreciate the readability for our proof and is slowing pacing to the right track! I hope he will be a little professional after at most 5 PRs.

Today: I have finished all the coding parts of Neo Principia! Chapter 20 of the formalization has been completely polished. What remains is the documentation, to be rewritten and rewritten again and again. When it has been finished, I will make another announcement for such a milestone for this project.