Extracting smart contracts tested and verified in Coq.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

Browse the full CPP paper archive.