bugarela

Karma: 31
Created: 2 years ago

About

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

Recent Submissions

1. ▲ Towards a Solution for Cognitive Debt (quint-lang.org) 2 points · 8 days ago · 0 comments
2. ▲ Quint LLM Kit for writing and using formal specifications (github.com) 11 points · 26 days ago · 0 comments
3. ▲ Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org) 3 points · 6 months ago · 1 comment
4. ▲ Holiday protocols: secret santa with Quint (github.com) 8 points · 2 years ago · 1 comment

All submissions on HN · View profile on HN