A Coq-based synthesis of Scala programs which are correct-by-construction
No reviews for this project.