OCaml Pro

法國軟件公司 OCaml Pro，創立於 2011 年，通過使用較爲正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml，同時，還開發了 Alt-Ergo 等驗證工具。很長一段時間，OCaml 語言是由學者們爲學者開發的。 自 2014 年以來，OCaml Pro 深入參與 Tezos 的開發工作，並幫助設計 Tezos 原型。2018 年 4 以後，OCaml Pro 一直在 Tezos 基礎上爲 Tezos 代碼庫工作，爲發佈做足準備。此外，OCaml Pro 還啓動了幾個與 Tezos 相關的項目，如 TZScan、Tezos Block Explorer 與智能合約的高級編程語言 Liquidity，使用 Why3（INRIA）與 Alt-Ergo 等做爲形式化驗證的初始工具。