Lobsters
- Why I use TLA+ and not(TLA+) https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html 4 comments formalmethods
Linked pages
- Y Combinator: Startup News https://news.ycombinator.com 812 comments
- Learn TLA+ — Learn TLA+ https://learntla.com/ 176 comments
- Quint https://quint-lang.org/ 46 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Hindley–Milner type system - Wikipedia https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system 6 comments
- A Tour of Go https://go.dev/tour/welcome/1 5 comments
- Specifying Systems https://lamport.azurewebsites.net/tla/book.html 0 comments
- Fold (higher-order function) - Wikipedia https://en.wikipedia.org/wiki/Fold_(higher-order_function) 0 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.
Related searches:
Search whole site: site:protocols-made-fun.com
Search title: Why I use TLA+ and not(TLA+): Episode 1 | Protocols Made Fun
See how to search.