Hacker News
- Show HN: Formalizing Principia Mathematica using Lean https://github.com/ndrwnaguib/principia 34 comments
Linked pages
- The Principia Rewrite | The Principia Rewrite https://www.principiarewrite.com/ 90 comments
- The Notation in Principia Mathematica (Stanford Encyclopedia of Philosophy) https://plato.stanford.edu/entries/pm-notation/#WhyLearSymbPrinMath 14 comments
- Principia Mathematica (Stanford Encyclopedia of Philosophy) https://plato.stanford.edu/entries/principia-mathematica/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - ndrwnaguib/principia: Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean
See how to search.