search

Deducteam / zenon_modulo

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

Fix bug causing free variables to be output. #31

Closed gburel closed 3 months ago

gburel commented 3 months ago