hatchet
news
top
new
best
ask
show
jobs
settings
A Liveness Example in TLA+
(surfingcomplexity.blog)
66 points
10 comments
21 hours ago
by skeptrune
designed and developed by
Tommy Chow
(
source
)