Automated Deduction in Geometry | lit.salon