search

Deducteam / zenon_modulo

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

Use a new Lambdapi library #33

Closed fblanqui closed 3 months ago

fblanqui commented 3 months ago

This PR modifies the Lambdapi output of zenon_modulo in order to use the new library https://github.com/Deducteam/lambdapi-zenon based on Lambdapi stdlib library.