issues
search
Deducteam
/
zenon_modulo
First-order automated theorem prover based on the tableau method
Other
12
stars
6
forks
source link
Modulo lp
#2
Closed
elhaddadyacine
closed
1 year ago
elhaddadyacine
commented
4 years ago
New syntax for lambdapi
Handling escaping identifiers
Only one logic file named zen.lp in the root directory