baruchel
- Karma
- 1,491
- Created
- 12 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ The computer that helped win World War II (spectrum.ieee.org)
- 2. ▲ Create Your Own Variants • PyChess (pychess.org)
- 3. ▲ The million-dollar math problem hardly anyone is trying to solve (scientificamerican.com)
- 4. ▲ What Do Gödel's Incompleteness Theorems Mean? (quantamagazine.org)
- 5. ▲ The mathematician who doesn't exist (newscientist.com)
- 6. ▲ From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
- 7. ▲ Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
- 8. ▲ Why Not Use Lean? (lawrencecpaulson.github.io)
- 9. ▲ Rocq 9.2.0 Released (rocq-prover.org)
- 10. ▲ Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)