Article URL: https://twitter.com/Coding_Career/status/1454293034179317764 Comments URL: https://news.ycombinator.com/item?id=29052903 Points: 21
Comments: 2
https://twitter.com/Coding_Career/status/1454293034179317764
Erstellt
4y
|
30.10.2021, 23:20:02
Melden Sie sich an, um einen Kommentar hinzuzufügen
Andere Beiträge in dieser Gruppe
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
4y | 30.10.2021, 23:49:48
Life is a random game full of random characters doing random things.