https://github.com/hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://github.com/hwayne/learntla-v2

book formal-methods formal-specification formal-verification tla tlaplus

Last synced: about 2 months ago
JSON representation

Learn TLA+ for free! No prior experience necessary!

• Host: GitHub
• URL: https://github.com/hwayne/learntla-v2
• Owner: hwayne
• License: other
• Created: 2022-01-27T05:27:06.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-05-21T18:33:54.000Z (4 months ago)
• Last Synced: 2024-06-30T15:45:42.379Z (3 months ago)
• Topics: book, formal-methods, formal-specification, formal-verification, tla, tlaplus
• Language: TLA
• Homepage: https://www.learntla.com
• Size: 2.13 MB
• Stars: 182
• Watchers: 13
• Forks: 39
• Open Issues: 23
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project