research
∙
08/06/2021
Extracting functional programs from Coq, in Coq
We implement extraction of Coq programs to functional languages based on...
share
research
∙
12/16/2020
Extracting Smart Contracts Tested and Verified in Coq
We implement extraction of Coq programs to functional languages based on...
research
∙
11/12/2019
Smart Contract Interactions in Coq
We present a model/executable specification of smart contract execution ...
research
∙
07/24/2019