GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 1f5982b5e3
Branches Tags
openzeppelin-co...
/
certora
/
specs
/
methods
Hadrien Croubois 1f5982b5e3 starting to work on governor specifications 2 years ago
..
IERC20.spec 4fb6833e32 Formal verification using Certora (#4084) 2 years ago
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) 2 years ago
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) 2 years ago
IGovernor.spec 1f5982b5e3 starting to work on governor specifications 2 years ago
IOwnable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 years ago
IOwnable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 years ago