hyperbook-tla-cn. Chinese translation of hyperbook by Leslie Lamport on TLA+

github.com/hengxin/hyperbook-tla-cn
by @hengxin

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.