bugarela
has 31 karma and joined 2 years ago
submissions
/
comments
/
favourites
Lead developer of Quint https://quint-lang.org/