3 ms·A Coq-based synthesis of Scala programs which are correct-by-construction2 points by markhkim 9y ago