seahorn/verify-openzeppelin

Latest release: almost 5 years ago - 79 downloads - 1,251 dependencies

More details on packages.ecosyste.ms - JSON

Versions

anise

Published: almost 5 years ago Last synced: over 2 years ago