Organize Project + add Web3 client

Certora · Sep 10, 2024 · cefef34 · cefef34
1 parent 160ce12
commit cefef34
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/ProposalTools/apis/contract_code/__init__.py b/ProposalTools/apis/contract_code/__init__.py