PyPI page
Author:
Nethermind
License:
APACHE LICENSE, VERSION 2.0
Summary:
Use formally verified annotations in your Cairo code
Latest version:
0.0.6.13
Required dependencies:
cairo-lang
|
eth-utils
|
lark
|
marshmallow
|
marshmallow-dataclass
|
z3-solver
Downloads last day:
0
Downloads last week:
1
Downloads last month:
11
7-day smoothing