issues
search
Deducteam
/
zenon_modulo
First-order automated theorem prover based on the tableau method
Other
12
stars
6
forks
source link
fix -sig option
#7
Closed
fblanqui
closed
1 year ago