Skip to main content

📜 Press

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 Formal Land company, and how we can be useful for Tezos in particular: