Skip to main content

One post tagged with "coq-of-ocaml"

View All Tags

ยท One min read
Guillaume Claret

Recently, we added two new blog posts about the verification of the crypto-currency Tezos:

We also talked at the Lambda Lille Meetup (in French) to present our work on coq-of-ocaml for Tezos. A video on the Youtube channel of the Meetup should be available shortly. We thanks the organizers for hosting the talk.