Homepage
Open in app
Sign in
Get started
General
Formal Methods
OCaml
Releases
About
Website
Tagged in
Rds
OCamlPro
We prototype and develop software solutions in cutting-edge technologies: OCaml, Rust & formal methods.
More information
Followers
27
Elsewhere
More, on Medium
Rds
OCamlPro
in
OCamlPro
Feb 7, 2018
OCamlPro’s Liquidity-lang demo at JFLA2018 — a smart-contract design language
Read more…