Julien Tesson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Raphaël Cauderlier
3 publications
Arvid Jakobsson
3 publications
Bruno Bernardo
3 publications
Basile Pesin
3 publications
Mathias Bourgoin
2 publications
Guillaume Claret
1 publication
Victor Allombert
1 publication
Zhenlei Hu
1 publication

research

∙ 06/24/2021

Making Tezos smart contracts more reliable with Coq

Tezos is a smart-contract blockchain. Tezos smart contracts are written ...

0 Bruno Bernardo, et al. ∙

research

∙ 01/07/2020

Albert, an intermediate smart-contract language for the Tezos blockchain

Tezos is a smart-contract blockchain. Tezos smart contracts are written ...

0 Bruno Bernardo, et al. ∙

research

∙ 09/18/2019

Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

Tezos is a blockchain launched in June 2018. It is written in OCaml and ...

0 Bruno Bernardo, et al. ∙

research

∙ 09/18/2019

Introduction to the Tezos Blockchain

Tezos is an innovative blockchain that improves on several aspects compa...

0 Victor Allombert, et al. ∙