Code

fix: certora report links#46

Code

Open

defispartan wants to merge 1 commit intoaave-dao:mainaave-dao/aave-v3-origin:mainfrom defispartan:fix/certora-report-linkdefispartan/aave-v3-origin:fix/certora-report-linkCopy head branch name to clipboard

+2-1

Commits

Commits on Aug 8, 2024

• fix: certora v3 / v3.0.1 formal verification report links

  defispartan

  committed
  7448ae0

  Copy full SHA for 7448ae0