I’m an atypical antipsychotic who loves theorem provers

- 🖥️ Rust 🦀 & OCaml 🐫
- 📖 Type Theory & Nerd stuff
- 🇧🇷 São Paulo

⏱️ @io_gabx on twitter/x