Add second section of the tutorial#481

tedinski merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

tedinski:tutorial-2tedinski/rmc:tutorial-2Copy head branch name to clipboard