chore: add-certora-audit-light-token #2160

SwenSchaeferjohann merged 1 commit intomainLightprotocol/light-protocol:mainfrom

tilo-14-add-certora-audit-light-tokenLightprotocol/light-protocol:tilo-14-add-certora-audit-light-tokenCopy head branch name to clipboard