grammars-v4 icon indicating copy to clipboard operation
grammars-v4 copied to clipboard

Published 20 hours ago • verified publisher icon antlr

Add Prover9 grammer

Open kuborek2 opened this issue 3 years ago • 1 comments
trafficstars

Since there doesn't exist this kind of issue here. I would like to request if possible grammer for prover9. This repo of mine in readme section contains usefull links with documentation needed.

kuborek2 avatar Mar 28 '22 17:03 kuborek2

hey, @kuborek2 can you assign this to me? I would like to contribute to this repo.

LoftyDroid avatar Dec 02 '22 19:12 LoftyDroid