What AI says about OCamlPro

OCamlPro is a company that develops and maintains open-source OCaml projects, including tools like the Alt-Ergo SMT solver and the Liquidity smart contract language. Their resources, often under the TypeRex codename, are available on GitHub and through the official Opam repository.