- 👋 Hi, I’m Rado Kirov.
- 👀 I’m interested in math, theoretical computer science and anything visual.
- 🌱 I’m currently learning about proof assistants, homotopy type theory.
- 💞️ I’m looking to collaborate on incremental computation, programing language design.
- 📫 How to reach me - rkirov@gmail.com or @radokirov on Twitter.