Y
Hacker News
new
|
ask
|
show
|
jobs
by
bahjoite
3563 days ago
Would TLA be of any help to you?
https://research.microsoft.com/en-us/um/people/lamport/tla/t...