Skip to content

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

Merged
maximebuyse merged 1 commit into
mainfrom
lean-restructure
Jun 3, 2026
Merged

refactor(lean): move hax_lib and rust_primitives into their own dir#11
maximebuyse merged 1 commit into
mainfrom
lean-restructure

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

4ccbc7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
cargo test
succeeded Jun 2, 2026 in 54s