LADR = Library for Automatic Deduction Research

Website: http://www.cs.unm.edu/~mccune/mace4/download/

Installed versions:  2009-11A

Acknowledgement: 

Licensing:  GNU GPL