| user: | Thom2503 |
| created: | August 1, 2021 |
| karma: | 116 |
| about: | Computer Science student, Part-time programmer in the Netherlands.
Interested in programming languages, mathematics, logic, and automata.
Listens to a lot of music. thomveldhuis.xyz |
| 1. | The dawn of formalized mathematics [video](youtube.com) |
| 2. | How to Not Write Parsers(crtschin.com) |
| 3. | Why don't people use formal methods? (2019)(hillelwayne.com) |
| 4. | |
| 5. | |
| 6. | Formal Reasoning [pdf](cs.ru.nl) |