/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

Primary LanguageScalaGNU General Public License v3.0GPL-3.0

Stargazers