search

codex-storage / codex-contracts-eth

Ethereum smart contracts for Codex
Other
5 stars 9 forks source link

Certora integration #53

Open emizzle opened 1 year ago

emizzle commented 1 year ago
0x-r4bbit commented 1 month ago

@AuHau Would you mind adding @gravityBlast as an assignee as well? He's gonna help setting it up this week.