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: 2 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 (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-08-11T03:02:43.000Z (over 4 years ago)
• Last Synced: 2024-05-01T20:17:14.752Z (8 months ago)
• Topics: cpp, slides
• Language: HTML
• Homepage: https://mattgodbolt.github.io/correct-by-construction
• Size: 20.8 MB
• Stars: 20
• Watchers: 4
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project