Skip to content

Source code for Certora workshop at ETH Gathering in Barcelona

Notifications You must be signed in to change notification settings

tadeas-kucera/ethGatheringBarcelona_worksop

About

Source code for Certora workshop at ETH Gathering in Barcelona

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Solidity 56.3%
  • Ruby 41.8%
  • Shell 1.9%