feat: Add `plonky3` translation#727

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

guillaume-claret@gy@plonky3translationformal-land/coq-of-rust:guillaume-claret@gy@plonky3translationCopy head branch name to clipboard