GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - discu.eu

Hacker News

Quint: A specification language based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 35 comments 19/12/2023

Lobsters

Quint: An executable specification language based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 8 comments 19/12/2023 formalmethods , programming

Reddit

Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 3 comments 19/12/2023 ethereum
Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 8 comments 19/12/2023 programminglanguages
Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) https://github.com/informalsystems/quint 41 comments 19/12/2023 programming

Linking pages

Week in Ethereum News December 23, 2023 – Week in Ethereum News https://weekinethereumnews.com/week-in-ethereum-news-december-23-2023 0 comments

Linked pages

The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

See how to search.

Submit link to: