alexzoid-eth / 2023-10-badger-fv Goto Github PK
View Code? Open in Web Editor NEWBadger eBTC x Certora Formal Verification Competition (#2 place)
Home Page: https://code4rena.com/audits/2023-10-badger-ebtc-audit-certora-formal-verification-competition#top
License: GNU General Public License v3.0