https://github.com/codingcat/tlapluscourse

TLAPlusCourseProject
https://github.com/codingcat/tlapluscourse

Last synced: 8 months ago
JSON representation

TLAPlusCourseProject

• Host: GitHub
• URL: https://github.com/codingcat/tlapluscourse
• Owner: CodingCat
• Created: 2017-11-16T20:40:56.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-11-17T20:58:59.000Z (almost 8 years ago)
• Last Synced: 2025-01-26T03:25:48.009Z (9 months ago)
• Language: TLA
• Size: 222 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project