[comp.lang.c] theorem proving program

siva@bally.Bally.COM (Siva Chelliah/50000) (05/16/91)

I like to have a geometric theorem proving program for MS-DOS.
Any pointers ?

Thanks
siva (siva@bally.bally.com)


-- 
/=*=*=*=*=*=*=*=*=*=*=*=*=*=*-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\
| Siva@bally.bally.com     | He who asks is a fool for five minuites,|
| Bally Systems,           | but he who does not ask remains a fool  |
| Reno,  NV 89502          | forever      -Old Chinese saying        |