This repository contains the LaTeX sources for creating the official tutorial for GeoGebra Discovery Automated Reasoning Tools. The latest official PDF version of the tutorial takes place in the pdf ...