More progress on the proofs and build instructions#6

clarus merged 1 commit intomainformal-land/coq-of-python:mainfrom

guillaume-claret@more-proofsformal-land/coq-of-python:guillaume-claret@more-proofsCopy head branch name to clipboard