PyPI page
Home page
Author:
Bruno Farias
Summary:
A Python tool for verifying Ethereum Consensus Specification using ESBMC
Latest version:
0.1.4
Required dependencies:
ast2json
|
colorama
|
pytest
|
setuptools
Downloads last day:
2
Downloads last week:
10
Downloads last month:
15