https://github.com/tangruize/jupiter-experiments

https://github.com/tangruize/jupiter-experiments

jupiter model-checking python3 tlaplus tlc2 tlc2-wrapper

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tangruize/jupiter-experiments
• Owner: tangruize
• Created: 2019-02-01T15:25:42.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-02-07T13:33:10.000Z (almost 6 years ago)
• Last Synced: 2023-03-31T13:31:10.165Z (almost 2 years ago)
• Topics: jupiter, model-checking, python3, tlaplus, tlc2, tlc2-wrapper
• Language: TLA
• Size: 4.23 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project