Zarith bindings#38

Open

mattam82 wants to merge 12 commits intoMetaRocq:rocq-9.0from

mattam82:zarith-bindings

Commits on Jan 18, 2026

Use bytestrin ceres
4ever2
committed

Commits on Feb 19, 2026

More complete bindings for OCaml's ZArith and extraction of nat to ZArith
mattam82
committed

Commits on Feb 20, 2026

Clean example for extraction of nat to zarith operations
mattam82
committed