baruchel
- Karma
- 1,331
- Created
- 12 years ago
About
Teacher in Computer Science at University of Pau and the Adour Region (France)Recent Submissions
- 1. ▲ From Probable to Provable: What Automated Reasoning Means for the Board (mariothomas.com)
- 2. ▲ Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
- 3. ▲ Why Not Use Lean? (lawrencecpaulson.github.io)
- 4. ▲ Rocq 9.2.0 Released (rocq-prover.org)
- 5. ▲ Eniac, the First General-Purpose Digital Computer, Turns 80 (spectrum.ieee.org)
- 6. ▲ Can the Most Abstract Math Make the World a Better Place? (quantamagazine.org)
- 7. ▲ How many steps in a "chain of victories" separate you from your favorite player? (mastodon.online)
- 8. ▲ Assigning Open Problems in Class (blog.computationalcomplexity.org)
- 9. ▲ Mathematicians find largest prime number to date (fediscience.org)
- 10. ▲ Any chess position with 8 pieces on board and one pair of pawns has been solved (mastodon.online)