issues
search
Deducteam
/
zenon_modulo
First-order automated theorem prover based on the tableau method
Other
12
stars
6
forks
source link
Integers as formula names
#27
Closed
gburel
closed
4 months ago
gburel
commented
4 months ago
Do not pollute output
Removing quotes when opening include files
Accept integers as formula names