Certora formal verification rules#28

aehyvari wants to merge 1 commit intoeuler-xyz:mastereuler-xyz/euler-earn:masterfrom

Certora:certora/specsCertora/euler-earn-fork:certora/specsCopy head branch name to clipboard