How to write correct code by construction using the Coq Proof Assistant
Submitted 2 years ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://betterprogramming.pub/a-taste-of-coq-and-correct-code-by-construction-111bf74d3b98