News

This repository contains the LaTeX sources for creating the official tutorial for GeoGebra Discovery Automated Reasoning Tools.