All Git Users → JBakouny

1 open source projects by JBakouny

[ Open user page on Github ]

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

✭ 65

scala functional-programming coq synthesis formal-methods

1-1 of 1 user projects