Jakob Botsch Nielsen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bas Spitters
14 publications
Danil Annenkov
8 publications
Mikkel Milo
3 publications

research

∙ 08/06/2021

Extracting functional programs from Coq, in Coq

We implement extraction of Coq programs to functional languages based on...

0 Danil Annenkov, et al. ∙

research

∙ 12/16/2020

Extracting Smart Contracts Tested and Verified in Coq

We implement extraction of Coq programs to functional languages based on...

0 Danil Annenkov, et al. ∙

research

∙ 11/12/2019

Smart Contract Interactions in Coq

We present a model/executable specification of smart contract execution ...

0 Jakob Botsch Nielsen, et al. ∙

research

∙ 07/24/2019

ConCert: A Smart Contract Certification Framework in Coq

We present a new way of embedding functional languages into the Coq proo...

0 Danil Annenkov, et al. ∙