Slim plan contract and browser proof checks#124

PatrickSys merged 2 commits into

mainPatrickSys/workspine:mainfrom

pivot/m1b-plan-contractPatrickSys/workspine:pivot/m1b-plan-contractCopy head branch name to clipboard