Pinned Loading

1. argotorg/hevm argotorg/hevm Public

   Symbolic and concrete EVM execution engine

   Haskell 327 73

2. hevm-presentation hevm-presentation Public

   TeX 1

3. hevm-result-test-contracts hevm-result-test-contracts Public

   Contracts to test FAIL/PASS/BAIL behaviours of hevm

   Solidity

4. intro-smart-contract-verification intro-smart-contract-verification Public

   Slides of the talk "A gentle introduction to formal verification of Ethereum smart contracts"

   TeX