user: bugarela
29 karma | created 2 years ago
recent submissions
11 pts|11 days ago|discuss
2 months ago|discuss
5 months ago|discuss
Choreo: Choreograph Distributed Protocols on Quint
(quint-lang.org)
3 pts|5 months ago|1 comment
9 months ago|discuss
9 months ago|discuss
9 months ago|discuss
11 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
Holiday protocols: secret santa with Quint
(github.com)
8 pts|2 years ago|1 comment
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss