More links for stack functions + fix for string translations#694

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

guillaume-claret@more-links-stackformal-land/coq-of-rust:guillaume-claret@more-links-stackCopy head branch name to clipboard