Basile Pesin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Julien Tesson
4 publications
Raphaël Cauderlier
3 publications
Arvid Jakobsson
3 publications
Bruno Bernardo
3 publications
Guillaume Claret
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. ∙