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 Poster
