Learn TLA+ (2018)

(learntla.com)

386 points | by brodo 5 days ago

92 comments