Geeks
charguer
/
optitrust
OptiTrust
Primary Language
OCaml
MIT License
MIT
optitrust GitHub
Markdown
Readme
1
Issue
3
Stargazers
7
Watchers
Watchers
Bastacyclop
Paris
berenger-eu
charguer
eemailme
felsocim
@Inria
Sakarah
ICube, Université de Strasbourg, Inria
stephane-caron
Inria