Back to search
Source Code for 'Practical TLA+' by Hillel Wayne
Stars
298
Forks
70
Watchers
298
Open Issues
5
Overall repository health assessment
No package.json found
This might not be a Node.js project
Merge pull request #16 from thesammiller/errata-ch6-p108
9a6733cView on GitHubUpdate to formatting errata for p. 108 - code should be bold.
da87c09View on GitHub