hatchet
news
top
new
best
ask
show
jobs
settings
The Future of TLA+ [pdf]
(lamport.azurewebsites.net)
195 points
105 comments
1 month ago
by tkhattra
designed and developed by
Tommy Chow
(
source
)