User: bugarela

• Created: 854 days ago
• Karma: 31
• Lead developer of Quint https://quint-lang.org/

submissions | comments