alphageometry Program to automatically check a proof/solution in the same format as in the paper

Program to automatically check a proof/solution in the same format as in the paper

Open tchaumeny opened this issue 1 year ago • 2 comments

I read the paper about AlphaGeometry, it's quite interesting.

I'd like to be able to check a proof written in the same format as here and there (d and f).

What software can I use for that? The paper says that this language is similar to GEX but I couldn't find an interpreter/checker for GEX.

Is there something that I can use in this repository?

Feb 17 '24 12:02 tchaumeny

Same question, Did you soloved it?

Feb 26 '24 08:02 Strand2013

Same question, Did you soloved it?

No! Please let me know if you find something.

Feb 27 '24 15:02 tchaumeny