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