Draft: experiment impl as axiom#447

clarus wants to merge 1 commit intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@experiment-impl-as-axiomformal-land/coq-of-rust:guillaume-claret@experiment-impl-as-axiomCopy head branch name to clipboard