https://github.com/decanus/rutschblock
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
https://github.com/decanus/rutschblock
formal-specification tla tla-specification tlaplus
Last synced: 4 months ago
JSON representation
A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
- Host: GitHub
- URL: https://github.com/decanus/rutschblock
- Owner: decanus
- License: mit
- Created: 2020-04-26T18:40:53.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-08T20:05:40.000Z (about 6 years ago)
- Last Synced: 2025-05-16T23:13:50.961Z (about 1 year ago)
- Topics: formal-specification, tla, tla-specification, tlaplus
- Language: TLA
- Size: 21.5 KB
- Stars: 18
- Watchers: 6
- Forks: 1
- Open Issues: 0