Hacker News new | ask | show | jobs
A Coq-based synthesis of Scala programs which are correct-by-construction (arxiv.org)
2 points by markhkim 3294 days ago