This is the place where you can download ProofBuilder, which is a pedagogically-oriented interactive system for constructing proofs in first-order logic.  (A link to documentation about ProofBuilder is at the bottom of this Web page.) 

But first, please give me some of your contact information so I can see who's accessing this material, and so that I will be able to keep you informed about new versions of ProofBuilder (for examples, I'm planning to provide more mechanisms such as eliding rows which you no longer want in the middles of proofs, and facilitating algebraic manipulations).  If you don't mind, enter your contact information below.  (If you really don't want to reveal any of the information, you can simply leave it blank.) 
Click the "Submit" button below the blanks to then view the direct link to download ProofBuilder.

Your name:

Your email address:

Your institution: (i.e. your university or company or such)

For documentation about ProofBuilder, click the link here for the manual.