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: 3 months 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 (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-12-31T18:05:23.000Z (5 months ago)
• Last Synced: 2025-01-15T11:10:49.160Z (4 months ago)
• Topics: tla, tla-plus, tla-specification, tlaplus
• Language: HTML
• Homepage: https://lamport.azurewebsites.net/video/videos.html
• Size: 74.2 KB
• Stars: 8
• Watchers: 6
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project