certora-quorum

Quorum: Open-Source Governance Security Tool for Web3 Protocols

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install certora-quorum

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
1.1.0 2025-02-20    
1.0.0 2025-01-09    
0.0.1 2025-01-09    

Issues with this package?

Page last updated 2025-06-27 18:31:22 UTC