Re: Coming soon -- new proof checking software

--
www.StealthHostiing.com           You rule Truman.         http://tinyurl.com/iky4
  Hey Trueman...love the show.   YOU ARE the Truman    I heard him.   Very spooky!
        >Is the truman living in Townsville? I've been hearing stuff, yeah.
Webmasters help the TRUEman  by joining  www.theBanner.net    Current:1  Goal:1000
----------------------------------------------------------------------------------

"Dan Christensen" <[EMAIL PROTECTED]> wrote in
> Within a week or so, I will be releasing a free beta version download for my
> new proof checking software, DC Proof 1.0.
>
> In the mean time, here is a sampler from the User Guide:
>
> http://members.allstream.net/~dchris/DCProofT.chm
>
> It contains a tutorial that illustrates many of the main features of DC
> Proof. Readers may be interested in both theoretical and a pedagogical
> aspects of this application. Example 3, is a resolution of Russell's Paradox
> without the usual prohibition on self-reference.
>
> Enjoy.
>

If you give me the URL before you publicly release the program I can frame it
from www.TheoremProver.com and you can use that address as long as.... until I find
a better theorem prover!  :)

I can even do some Search Engine optimisation for you, take a few minutes, that
way you should get a few thousand visitors rather than the 50 clicks total you might 
expect
otherwise.

I've just got the domain parked at the moment so you're free to use it.

Herc