https://github.com/squell/why3-go
Goroutine verification using Why3
https://github.com/squell/why3-go
Last synced: 5 months ago
JSON representation
Goroutine verification using Why3
- Host: GitHub
- URL: https://github.com/squell/why3-go
- Owner: squell
- Created: 2016-07-14T10:01:41.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2016-07-14T10:01:41.000Z (almost 10 years ago)
- Last Synced: 2025-09-18T23:34:39.312Z (9 months ago)
- Size: 0 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0