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