issues
search
Deducteam
/
zenon_modulo
First-order automated theorem prover based on the tableau method
Other
12
stars
6
forks
source link
Add SZS output + several fixes
#38
Closed
gburel
closed
1 month ago