A Coq-based synthesis of Scala programs which are correct-by-construction (arxiv.org) 2 points by markhkim 9y ago ↗ HN
0 comments
[ 2.5 ms ] story [ 12.6 ms ] threadNo comments yet.