https://github.com/rberenguel/tla_lightning

Lightning talk about TLA+ for Scala Exchange 2018
https://github.com/rberenguel/tla_lightning

akka pluscal tla

Last synced: 19 days ago
JSON representation

Lightning talk about TLA+ for Scala Exchange 2018

• Host: GitHub
• URL: https://github.com/rberenguel/tla_lightning
• Owner: rberenguel
• Created: 2018-12-13T11:31:46.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-01-06T20:17:00.000Z (almost 5 years ago)
• Last Synced: 2023-03-30T03:31:36.668Z (over 1 year ago)
• Topics: akka, pluscal, tla
• Language: Jupyter Notebook
• Size: 36.8 MB
• Stars: 10
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project