Hacker News
Lobsters
- Quint https://quint-lang.org/ 20 comments formalmethods
Linking pages
- Why I use TLA+ and not(TLA+): Episode 1 | Protocols Made Fun https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html 4 comments
- Specification and Model-checking of the ZKsync Governance Protocol | Protocols Made Fun https://protocols-made-fun.com/zksync/matterlabs/quint/specification/modelchecking/2024/09/12/zksync-governance.html 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.