Correct Code by Construction talk

This repo contains the Coq and Kotlin code, and also the slides, used in the Correct Code by Construction talk at DEVOXXUK22

Youtube

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
.github/workflows		.github/workflows
Coq		Coq
kotlin		kotlin
Correct_Code_by_Construction_Slides.pptx		Correct_Code_by_Construction_Slides.pptx
LICENSE		LICENSE
README.md		README.md
Walter & Paul - Correct Code by Construction.png		Walter & Paul - Correct Code by Construction.png