discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Whitehead and Russell’s Principia rewritten in Coq
https://www.principiarewrite.com/
64 comments
6/12/2021
Reddit
There's an ongoing effort to rewrite Principia Mathematica using Coq
https://www.principiarewrite.com/
26 comments
2/12/2021
math
Linking pages
GitHub - ndrwnaguib/principia: Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean
https://github.com/ndrwnaguib/principia
34 comments
Landon D. C. Elkind
https://landondcelkind.com/2021/03/31/wittgensteins-1913-on-logic-and-how-not-to-do-it/
12 comments