alexzoid-eth / 2023-10-badger-fv

Badger eBTC x Certora Formal Verification Competition (Nov 2023, #2 place) + writeup
9Updated last week

Alternatives and similar repositories for 2023-10-badger-fv:

Users that are interested in 2023-10-badger-fv are comparing it to the libraries listed below