While outputting DVI! I wouldn't be surprised.
Looks like there's more information in their readme: https://github.com/informalsystems/quint > Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain…
JOSN
Thank you for posting this here 🍺
While outputting DVI! I wouldn't be surprised.
Looks like there's more information in their readme: https://github.com/informalsystems/quint > Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain…
JOSN
Thank you for posting this here 🍺