Beginning of semantics#5

clarus merged 5 commits intomainformal-land/coq-of-python:mainfrom

guillaume-claret@beginning-of-a-semanticsformal-land/coq-of-python:guillaume-claret@beginning-of-a-semanticsCopy head branch name to clipboard