https://github.com/tlaplus/lecture

The TLA+ Video Course by Leslie Lamport
https://github.com/tlaplus/lecture

tla tla-plus tla-specification tlaplus

Last synced: about 1 month ago
JSON representation

The TLA+ Video Course by Leslie Lamport

• Host: GitHub
• URL: https://github.com/tlaplus/lecture
• Owner: tlaplus
• License: other
• Created: 2021-10-26T16:51:14.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2021-10-27T15:52:52.000Z (about 3 years ago)
• Last Synced: 2024-04-20T00:53:11.839Z (8 months ago)
• Topics: tla, tla-plus, tla-specification, tlaplus
• Language: HTML
• Homepage: https://lamport.azurewebsites.net/video/videos.html
• Size: 73.2 KB
• Stars: 8
• Watchers: 6
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project