news.volyx.in

How to write correct code by construction using the Coq Proof Assistant (betterprogramming.pub)

158 points by ingve · 1087 days ago · 48 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.