GitHub - ProjektOsmium/correct-by-construction: Correct by Construction : a presentation given at C++ on Sea 2020

Correct by construction

Presented at C++ on Sea 2020.

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
.idea		.idea
images		images
reveal.js @ 15815ef		reveal.js @ 15815ef
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
codify.js		codify.js
comment-smells.md		comment-smells.md
conclusion.md		conclusion.md
enums.md		enums.md
index.html		index.html
intro.md		intro.md
made-up-transcript.md		made-up-transcript.md
notes.md		notes.md
raii.md		raii.md
strong-types.md		strong-types.md
submission.md		submission.md