JBakouny/Scallina

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

语言：Scala · GitHub 星标：79 · Fork：10

话题：coq · formal-methods · functional-programming · scala · synthesis

在 GitHub 上查看原仓库