aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith/intro.tex
blob: 83eed970eaf1dcaa5be9e16b1b3a8cab7ab20a34 (plain)
1
2
3
4
5
\section{Binary positive and non negative integers : NArith}\label{NArith}

Here are defined various arithmetical notions and their properties,
similar to those of {\tt Arith}.