garbervetsky

7 repositories

8 followers

Repositories

Select a repository to view its commits, contributors, and more.

Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation