https://github.com/tikv/tlaplus-specs

TiKV TLA+ specifications
https://github.com/tikv/tlaplus-specs

Last synced: 4 months ago
JSON representation

TiKV TLA+ specifications

• Host: GitHub
• URL: https://github.com/tikv/tlaplus-specs
• Owner: tikv
• License: apache-2.0
• Created: 2020-06-17T12:17:27.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-08-11T10:22:55.000Z (over 5 years ago)
• Last Synced: 2025-01-06T08:42:59.155Z (12 months ago)
• Language: TLA
• Size: 6.84 KB
• Stars: 3
• Watchers: 17
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# tlaplus-specs

TiKV TLA+ specifications