GeoGen Script reference
Error codes

This page contains a reference of all error codes produced by GeoGen.