Add issue to task board

Add certora rule that ensures correct MP estimation for any given stake time #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Add to task board	4s
	4s