| 1. | | Our formal methods tool can be a company – because of AI (quint.sh) |
| 8 points by bugarela 55 days ago | past |
|
| 2. | | Towards a Solution for Cognitive Debt (quint-lang.org) |
| 2 points by bugarela 3 months ago | past |
|
| 3. | | Quint LLM Kit for writing and using formal specifications (github.com/informalsystems) |
| 11 points by bugarela 3 months ago | past |
|
| 4. | | Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org) |
| 3 points by bugarela 8 months ago | past | 1 comment |
|
| 5. | | Holiday protocols: secret santa with Quint (github.com/informalsystems) |
| 8 points by bugarela on Dec 21, 2023 | past | 1 comment |
|
