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 Omega or Ring.

Require Export Omega.
Require Export Zcomplements.
Require Export Zpower.
Require Export Zdiv.

Export ZArithRing.