Quint

https://github.com/quint-co/quint

Quint is a modern specification language that is a particularly good fit for distributed systems,...

Tokens:210,815
Snippets:2,408
Trust Score:6.7
License:Apache-2.0
Update:2 weeks ago
Tokens:
Raw