github-repos/tla-plus
1
0
Fork 0
mirror of https://github.com/pingcap/tla-plus.git synced 2024-12-26 04:20:10 +08:00
Code Issues Packages Projects Releases Wiki Activity
54 Commits 2 Branches 0 Tags 1.4 MiB

Default Branch

master

8ae629ddf9 · Add ResolvedTS spec (#27) · Updated 2022-04-21 18:37:21 +08:00
 ZIP  TAR.GZ

Branches

resolved-ts

5fcc39c030 · clean up · Updated 2019-10-21 10:24:36 +08:00
25
2
 ZIP  TAR.GZ