revm: add rust files and more links admitted#695

clarus merged 3 commits intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@add-rust-files-and-admittedformal-land/coq-of-rust:guillaume-claret@add-rust-files-and-admittedCopy head branch name to clipboard