bugarela

...joined 2 years ago, and has 31 karma

submissions / comments / favourites

Lead developer of Quint https://quint-lang.org/