TLA+: a high-level language for modeling programs and systems (lamport.azurewebsites.net) 1 points by kvnhn 5y ago ↗ HN
0 comments
[ 3.9 ms ] story [ 10.5 ms ] threadNo comments yet.