rganesh@nu.cs.fsu.edu (Ganesh Rangarajan) (10/26/90)
I am looking for the sources/executable of ITP. Its supposed to be an automated theorem prover. Any information on the whereabouts of the sources would be very much appreciated. Thanks in advance, Ganesh ------------------------------------------------------------------------------ Ganesh Rangarajan, Systems Support Group, Department of Computer Science, Rm 201 Lov, Florida State Univ.,Tallahassee, Fl 32306 Ph: (904)-644-2296/7339 Internet: rganesh@nu.cs.fsu.edu rganesh@gauss.math.fsu.edu Bitnet: ganesh@fsu ------------------------------------------------------------------------------