Generate lemmas and prove them#50

petros-marko wants to merge 3 commits into

masterPLSysSec/tock:masterfrom

petros-marko/proofsPLSysSec/tock:petros-marko/proofsCopy head branch name to clipboard