Skip to main content


Here are some documents you can read or use.

Coq Tezos of OCaml project#

A presentation of the Coq Tezos of OCaml project, to verify in Coq the protocol (kernel) of the Tezos blockchain:

Technical presentation#

A technical presentation about what we can do for your project:

Company presentation#

A general presentation of the company, and how we can be useful for Tezos in particular: