recursive/fluffy-fiesta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 40 KiB
Find a file
Exact
Alexandra Magin a91b862d74 Add SyntaxBNF from TPTP
2024-06-07 14:04:38 -07:00
.gitignore Initial commit 2024-06-07 13:39:48 -07:00
LICENSE Add SyntaxBNF from TPTP 2024-06-07 14:04:38 -07:00
SyntaxBNF Add SyntaxBNF from TPTP 2024-06-07 14:04:38 -07:00