Library Coq.ZArith.ZArith
Library for manipulating integers based on binary encoding
Require
Export
ZArith_base
.
Extra definitions
Require
Export
Zpow_def
.
Extra modules using
Ring
.
Require
Export
OmegaLemmas
.
Require
Export
PreOmega
.
Require
Export
ZArith_hints
.
Require
Export
Zcomplements
.
Require
Export
Zpower
.
Require
Export
Zdiv
.
Export
ZArithRing
.