Skip to content

feat(lean): Add support for #[hax_lib::opaque]#1846

Merged
abentkamp merged 1 commit intomainfrom
lean-opaque
Jan 5, 2026
Merged

feat(lean): Add support for #[hax_lib::opaque]#1846
abentkamp merged 1 commit intomainfrom
lean-opaque

Commits

Commits on Jan 5, 2026