Code

Certora CAREX aave grant#3

Code

Open

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

+428-1

Commits

Commits on Aug 3, 2022

• Add spec for aave grant

  priyankabhanderi

  committed
  4874468

  Copy full SHA for 4874468