search

codex-storage / codex-contracts-eth

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

docs: proofs comments #118

Closed AuHau closed 1 month ago

AuHau commented 3 months ago

As part of work on defining Application Properties for Certora you can find here: https://notes.status.im/s/D29-EqKzi

I have been writing comments in the code to explain the code's functionality better.

AuHau commented 2 months ago

Oh right, that makes sense. It is not crucial, I just wanted to merge it so I don't have to think about it, but yeah let's wait for Mark's input.