GitHub repository: JBakouny/Scallina
Primary language: Scala
Created: 2017-07-20T15:04:31Z
Description: A Coq-based synthesis of Scala programs which are correct-by-construction