ADG-Lib

[GeoTiles]

ADG-Lib, an initiative for setting a common signature for axioms and conjectures in computer aided theorem proving in geometry.

During the EuroProofNet WG2-GEO25 meeting, 3-5 June 2025, Krakow, Poland, several issues were discussed and preliminary versions of

ADG-Lib Signatures - underlying theories, naming conventions, sets of predicate symbols, function symbols, and sets of non-deterministic function symbols, NDG (non-degenerate cases) and DG (allowing degenerate cases).

ADG-Lib Converters - a more robust general converter toolkit, the ADG-Lib toolkit, was developed.

ADG-Lib axioms sets, and conjectures - a set of geometry conjectures was started.

The ADG-Lib, and related tools are at https://github.com/ADG-Foundation/ADG-Lib

[fblanqui]

Hi Pedro. What is this issue for? It's better if you can do a pull request.