This repo contains the Coq and Kotlin code, and also the slides, used in the Correct Code by Construction talk at DEVOXXUK22
funexists/ccc-talk
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
{{ message }}
| Name | Name | Last commit date | ||
|---|---|---|---|---|