https://github.com/palutz/tla-wsl

TLA+ Workshop London 20/09/2019
https://github.com/palutz/tla-wsl

Last synced: about 1 month ago
JSON representation

TLA+ Workshop London 20/09/2019

• Host: GitHub
• URL: https://github.com/palutz/tla-wsl
• Owner: palutz
• Created: 2019-09-27T07:20:52.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-09-27T07:22:47.000Z (about 5 years ago)
• Last Synced: 2023-03-24T08:32:12.074Z (over 1 year ago)
• Language: TLA
• Size: 97.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project