bugarela

bugarela avatar
Active user by invitation from shonfeder 12 2, most commonly tagged formalmethods 7
Quint Developer
https://github.com/bugarela

I'm a programmer working on the Quint specification language. I live in Brazil, I dance, and I have a cat.