by Hugh McGuire
ProofBuilder is pedagogical software for constructing proofs. It covers propositional and first-order/predicate logic, different proof techniques, number theory (e.g.mod),
functions including log2(),
sets,
summations,
time functions (O(), Θ(), etc.),
and combinatorics.
This software was developed in
the Java programming language,
so it is usable on essentially all common
computer systems (Microsoft Windows,
LINUX, Apple Macintosh, UNIX, etc.).
The materials provided here are as follows:
- manual/
- This subfolder/subdirectory contains the manual for ProofBuilder, including instructions for installing and executing it, and sample illustrations of its processing.
- samples/
- This subfolder/subdirectory contains sample proofs done in ProofBuilder of material from popular textbooks on Discrete Mathematics by Epp, Gersting, and Rosen.
- download/
- This subfolder/subdirectory contains ProofBuilder.jar, which is all that you need to download to get the software here.
- summary.ppt
- This PowerPoint document contains a brief summary of how ProofBuilder works.
- presentations/
- This subfolder/subdirectory contains publications or presentations about ProofBuilder.
- src/
- This subfolder/subdirectory contains the source code of ProofBuilder.