Skip to main content

📜 Press

Here are some documents you can read or use.


Slides with a general presentation about what we can do for your project:

Tezos project brochure

Coq Tezos of OCaml brochure

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

Company brochure

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