search

logos-co / staking

SNT Staking contracts
Creative Commons Zero v1.0 Universal
0 stars 4 forks source link

chore(StakeManager.spec): add invariant greater lock time -> more MPs #85

Closed 0x-r4bbit closed 7 months ago

0x-r4bbit commented 7 months ago

Checklist

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