GitHub - TPTPWorld/SyntaxBNF: BNF for the TPTP languages, and parser generator · GitHub

Name		Name	Last commit message	Last commit date
ANTLRParsers		ANTLRParsers
BNFMetaGrammar		BNFMetaGrammar
LexYaccParser		LexYaccParser
TestFiles		TestFiles
BNFLinker.sedscript		BNFLinker.sedscript
Makefile		Makefile
SyntaxBNF-v9.3.1.2		SyntaxBNF-v9.3.1.2

About

BNF for the TPTP languages, and parser generator

Custom properties

4 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages