TLA+

https://lamport.azurewebsites.net/tla/

TLA+ is a high-level language created by Leslie Lamport for modeling programs and systems,...

Tokens:196,177
Snippets:1,652
Trust Score:7.7
Update:6 months ago
Tokens:
Raw