search

Deducteam / zenon_modulo

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

make clean: remove lexdk and parsedk files as well #23

Closed fblanqui closed 4 months ago