2c96b38d8c
called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this..
3 lines
127 B
Plaintext
3 lines
127 B
Plaintext
Prover9, Mace4, and several related programs come packaged in a system
|
|
called LADR (Library for Automated Deduction Research).
|