This is a library of ADG (Automated Deduction in Geometry) resources, maintained by the ADG Foundation. It aims at providing rigorous descriptions of the axiom systems used by various geometry automatic and interactive theorem provers, proposing common input and output languages for geometry theorem provers, and establishing and making available to the research community a large library of geometric problems.
The ADG Library is an initiative started by ADG Foundation members Pedro Quaresma, Predrag Janičić, Julien Narboux, Zoltán Kovács, Anna Petiurenko, Filip Marić, and Nuno Baeta. It is currently a work in progress.