search

vacp2p / staking-reward-streamer

MIT License
0 stars 0 forks source link

chore(certora): add rule that MPs are minted at 1-to-1 ratio #58

Closed 0x-r4bbit closed 4 weeks ago

0x-r4bbit commented 4 weeks ago

Closes #27

Checklist

Ensure you completed all of the steps below before submitting your pull request: