Learn TLA+ (2018)

(learntla.com)

387 points | by brodo 73 days ago

92 comments