bugarela
since 12/8/2023
31 karma
submissionscommentsfavorites
Lead developer of Quint https://quint-lang.org/