Code

rules submission for aave-token-v3#13

Code

Open

hrishibhat wants to merge 1 commit intoCertora:certora-communityCertora/aave-token-v3:certora-communityfrom hrishibhat:certora-communityhrishibhat/aave-token-v3:certora-communityCopy head branch name to clipboard

+585-2

Commits

Commits on Aug 5, 2022

• rules for aave-token-v3

  hrishibhat

  committed
  2ce1ba5