PyPI page
Home 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:
1
Downloads last week:
9
Downloads last month:
25