user:bugarela
created:Dec 8, 2023
karma:29
about:

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