baruchel
- Karma
- 1,391
- Created
- 12 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ The million-dollar math problem hardly anyone is trying to solve (scientificamerican.com)
- 2. ▲ What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org)
- 3. ▲ The mathematician who doesn't exist (newscientist.com)
- 4. ▲ From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
- 5. ▲ Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
- 6. ▲ Why Not Use Lean? (lawrencecpaulson.github.io)
- 7. ▲ Rocq 9.2.0 Released (rocq-prover.org)
- 8. ▲ Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)
- 9. ▲ Can the Most Abstract Math Make the World a Better Place? (quantamagazine.org)
- 10. ▲ How many steps in a "chain of victories" separate you from your favorite player? (mastodon.online)