The Prospero Challenge

Article URL: https://research.swtch.com/diffcover

Comments URL: https://news.ycomb

Article URL: https://arxiv.org/abs/2504.17192

Comments URL: https://news.ycombinator.c

Article URL: https://arxiv.org/abs/2504.11651

Comments URL: https://news.ycombinator.c

Article URL: https://curry-lang.org/

Comments URL: https://news.ycombinator.com/item?id=4379721

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru

Article URL: https://thelampmagazine.com/issues/issue-27/done-in-by-time

Comments URL: