3 ms·
You forgot OCaml, our national pride ! Our CS researcher have a large expertise in proofs and static analysis with Coq, Coccinelle and the like.
by mackwic 12y ago
You forgot OCaml, our national pride ! Our CS researcher have a large expertise in proofs and static analysis with Coq, Coccinelle and the like.
- aikah 12y agoyep, and TurboPascal and Delphi ,then I moved abroad to study and I didnt even know C ...