docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide

docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide