status-im
/
dagger-contracts
mirror of https://github.com/status-im/dagger-contracts.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
dagger-contracts/certora/specs
History
Andrea Franz 2a1bef5255 chore(certora): verify slots transitions and that a slot can be paid only once 2024-10-15 11:06:46 +02:00
..
Marketplace.spec chore(certora): verify slots transitions and that a slot can be paid only once 2024-10-15 11:06:46 +02:00