https://github.com/hengxin/hyperbook-tla-cn
Chinese translation of hyperbook by Leslie Lamport on TLA+
https://github.com/hengxin/hyperbook-tla-cn
chinese-translation hyperbook leslie-lamport tlaplus
Last synced: 3 months ago
JSON representation
Chinese translation of hyperbook by Leslie Lamport on TLA+
- Host: GitHub
- URL: https://github.com/hengxin/hyperbook-tla-cn
- Owner: hengxin
- Created: 2020-03-21T03:32:32.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-03-21T03:34:53.000Z (about 6 years ago)
- Last Synced: 2025-02-25T05:27:49.207Z (over 1 year ago)
- Topics: chinese-translation, hyperbook, leslie-lamport, tlaplus
- Language: TeX
- Homepage:
- Size: 25.8 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md