blob: 21e52c19820fcc7f13515bbb48bab7755e75f734 (
plain)
1
2
3
4
5
6
|
\section{Binary integers : ZArith}
The {\tt ZArith} library deals with binary integers (those used
by the {\tt Omega} decision tactic).
Here are defined various arithmetical notions and their properties,
similar to those of {\tt Arith}.
|
