login sign up

Show HN: Formalizing Principia Mathematica using Lean

news.ycombinator.com
saved by
0 people
related read on
Principia Mathematica related HN threads