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
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