B betterprogramming.pub How to write correct code by construction using the Coq Proof Assistant 158 points ingve 3 years ago 48 comments
