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 Zcomplements.
Require Export Zpower.
Require Export Zdiv.
Require Export Zlogarithm.

Export ZArithRing.