Joseph Bakouny

Expert
@JBakouny
www.usj.edu.lb/enseignants/?empid=11896&lang=2

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

79

coq. Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

4

FP_Scala_23-24. Scala

3

React. JavaScript

3

FP_Python_23-24. Python

2

FP_Java_23-24. Java

2

NodeBackend. Node

2

React-Native. JavaScript

1

Full-MEAN-Web-Stack. HTML

1

NodeExpressExercices. JavaScript

1

scalafromwhy3. Why3 plugin allowing the extraction of WhyML code to Scala

1
11
Apply