Loading...

Extracting Smart Contracts Tested and Verified in Coq - Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters | Arena