Split signature and formulae - Githubissues

Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method

Other

12 stars 6 forks source link

Split signature and formulae #41

Closed gburel closed 1 month ago

gburel commented 1 month ago

Split signature and declarations of formulas in lambdapi output
new option -lp-package to be used instead of -sig