Optimize translation and links#748

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

guillaume-claret@optimize-translation-and-linksformal-land/coq-of-rust:guillaume-claret@optimize-translation-and-linksCopy head branch name to clipboard