https://github.com/osoco/pluscal-overview
A TLA+ and PlusCal Overview
https://github.com/osoco/pluscal-overview
Last synced: 4 months ago
JSON representation
A TLA+ and PlusCal Overview
- Host: GitHub
- URL: https://github.com/osoco/pluscal-overview
- Owner: osoco
- Created: 2019-09-05T10:37:20.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-09-17T09:12:22.000Z (almost 7 years ago)
- Last Synced: 2025-01-16T05:26:00.671Z (over 1 year ago)
- Language: TeX
- Size: 428 KB
- Stars: 0
- Watchers: 9
- Forks: 1
- Open Issues: 0
-
Metadata Files: