path: root/theories/Reals/intro.tex

\section{Reals}\label{Reals}

This library contains an axiomatization of real numbers.
The main file is \texttt{Reals.v}.