GitHub repository: sarvex/correct-by-construction
Primary language: HTML
Description: Correct by Construction : a presentation given at C++ on Sea 2020