Prover9

[mksas00]

No description provided.

[mksas00]

Is there a chance you are in possesion of Prover9 grammar, I'm doing a uni project to make a translator from Porver9 to SPASS but I can't find the grammar for Porver9 anywhere

[JUrban]

No, but look at ladr2tptp.

…

On Sun, Apr 3, 2022 at 4:27 PM mksas00 ***@***.***> wrote: Is there a chance you are in possesion of Prover9 grammar, I'm doing a uni project to make a translator from Porver9 to SPASS but I can't find the grammar for Porver9 anywhere — Reply to this email directly, view it on GitHub <#1 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAASK5VTELCKNZ7V3G6XE53VDGTGTANCNFSM5SNINOCA> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>