User: bugarela

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

submissions | comments