In order to create RealNumbers.pdf you need to do the following steps.
- Install LaTeX/TeX on your computer.
- Clone this repositry
git clone https://github.com/mathhobbit/Real_numbers.git - Clone the repository [ElegantPaper](https://github.com/ElegantLaTeX/ElegantPaper)
git clone https://github.com/ElegantLaTeX/ElegantPaper.git - Copy the content of "ElegantPaper" directory into the directory "Real_Numbers". On Unix it will be
cp -r ElegantPaper/* Real_numbers/ - Change the directory to "Real_numbers" and execute
xelatex RealNumbers.tex