Fix syntax to respect TPTP format - Githubissues

Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method

Other

12 stars 6 forks source link

Fix syntax to respect TPTP format #1

Closed gburel closed 5 years ago

gburel commented 5 years ago

Allow parenthesis around types in type declarations
Fix parser conflict
Fix parsing of clauses to correspond to TPTP syntax