https://github.com/mattgodbolt/correct-by-construction
Correct by Construction : a presentation given at C++ on Sea 2020
https://github.com/mattgodbolt/correct-by-construction
cpp slides
Last synced: 8 months ago
JSON representation
Correct by Construction : a presentation given at C++ on Sea 2020
- Host: GitHub
- URL: https://github.com/mattgodbolt/correct-by-construction
- Owner: mattgodbolt
- Created: 2020-01-23T00:35:40.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-08-11T03:02:43.000Z (over 5 years ago)
- Last Synced: 2025-03-19T02:11:26.536Z (about 1 year ago)
- Topics: cpp, slides
- Language: HTML
- Homepage: https://mattgodbolt.github.io/correct-by-construction
- Size: 20.8 MB
- Stars: 21
- Watchers: 3
- Forks: 2
- Open Issues: 0