Coming soon -- new proof checking software

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.

Dan Christensen
Toronto, Canada