search

Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method
Other
12 stars 6 forks source link

Modulo lp #5

Closed gburel closed 1 year ago

gburel commented 1 year ago

Integrate the work of Yacine for the lambdapi output of Zenon Modulo, plus some minor modifications.