issues
search
Deducteam
/
zenon_modulo
First-order automated theorem prover based on the tableau method
Other
12
stars
6
forks
source link
fix dk output
#37
Closed
fblanqui
closed
3 months ago
fblanqui
commented
3 months ago
fix dk output for GDV
add again an argument to the -conj option: the name of the conjecture