Repository Directory

Back to directory

Joseph Bakouny - Open Source Developer

@JBakouny

www.usj.edu.lb orcid.org

41 followers · 57 following

Contributed to 1 repository

0 commits across the projects listed in this directory.

Scallina

JBakouny

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