Formalizing the air folder#734

romefeller wants to merge 2 commits intomainformal-land/coq-of-rust:mainfrom

alexandre-oliveira@plonk3-airformal-land/coq-of-rust:alexandre-oliveira@plonk3-airCopy head branch name to clipboard