https://github.com/jackfoxy/specifyingsystemswithcontents

Adding a table of contents to Specifying Systems, TLA+.pdf
https://github.com/jackfoxy/specifyingsystemswithcontents

Last synced: about 17 hours ago
JSON representation

Adding a table of contents to Specifying Systems, TLA+.pdf

• Host: GitHub
• URL: https://github.com/jackfoxy/specifyingsystemswithcontents
• Owner: jackfoxy
• Created: 2017-10-27T21:25:10.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-10-28T17:44:29.000Z (about 7 years ago)
• Last Synced: 2023-03-24T18:37:13.883Z (over 1 year ago)
• Size: 1.98 MB
• Stars: 52
• Watchers: 2
• Forks: 9
• Open Issues: 0

Awesome Lists containing this project