Y
Hacker News
new
|
ask
|
show
|
jobs
esafak
13 hours ago
[
-
]
Where is the TLA+ proof?
Betelbuddy
3 hours ago
[
-
]
TLA+ does not do what you think it does.
Please enable JavaScript to continue using this application.
TLA+ does not do what you think it does.