Welcome to the blog of the project "Coq Tezos of OCaml". Here we will report regularly on what we are doing. Our main aims with this project are:
- to improve the quality of the formalization of Tezos in Coq, and
- to write as many formal proofs as possible to prevent critical bugs.