Professional Menace
List of information about me
- Aspiring mathematician
- Developer
- Functional programming devotee
- Formal verification fanatic
- Category theory hobbyist
- Linux enthusiast
- I use NixOS btw
- LLVM contributor
- Gödel's incompleteness enjoyer
- Catboy
Links