Coinresear.ch
Papers [1351] Stats Tags

Defining the ethereum virtual machine for interactive theorem provers

Title Defining the ethereum virtual machine for interactive theorem provers
Authors Hirai, Yoichi
Year 2017





Videos



Links

–

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies