bugarela
Joined 3 years ago, with 31 karma
Submissions
Comments
Favorites
Follow via RSS
Lead developer of Quint https://quint-lang.org/