md-assembla / 2023-10-badger-fv Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alexzoid-eth/2023-10-badger-fv
Badger eBTC Audit + Certora Formal Verification Competition
Home Page: https://github.com/alexzoid-eth/2023-10-badger-fv/blob/main/certora/FVGUIDE.md
License: GNU General Public License v3.0