Skip to main content

One post tagged with "welcome"

View All Tags

ยท 2 min read
Guillaume Claret

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.