Hacker Next
Show HN: Formalizing Principia Mathematica using Leangithub.com
185 points by ndrwnaguib 3 days ago | 34 comments