Article URL: https://storage.googleapis.com/deepmind-media/Era-of-Experience%20/The%20Era%20of%20Experience%20Paper.pdf
Comments URL: https://news.ycombinator.com/item?id=43740858
Points: 40
# Comments: 5
Létrehozva
6d
|
2025. ápr. 20. 6:10:09
Jelentkezéshez jelentkezzen be
EGYÉB POSTS Ebben a csoportban
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
