https://github.com/eu90h/tla-stuff
TLA+ specs and such
https://github.com/eu90h/tla-stuff
formal-verification tlaplus
Last synced: 4 months ago
JSON representation
TLA+ specs and such
- Host: GitHub
- URL: https://github.com/eu90h/tla-stuff
- Owner: eu90h
- Created: 2024-01-02T03:11:16.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-01-08T18:53:39.000Z (over 2 years ago)
- Last Synced: 2024-05-09T12:20:34.035Z (about 2 years ago)
- Topics: formal-verification, tlaplus
- Language: TLA
- Homepage:
- Size: 549 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md