refactor(lean): move hax_lib and rust_primitives into their own dir#11

maximebuyse merged 1 commit into

maincryspen/rust-core-models:mainfrom

lean-restructurecryspen/rust-core-models:lean-restructureCopy head branch name to clipboard