.Open Proofs -- Old Page

For an introduction see
.See ./logic_20_Proofs100.html
which give informal hints and discusses some
philophical ideas associated with proofs and some
tools and automation,
or 
.See ./logic_25_Proofs.html
which presents an attempt at a practical yet formal
way of presenting proofs in a machine readable, renderable,
and checkable form.

. Tools for Proofs
(ProofBuilder): hamburger helper for budding logicians
.See http://www.cis.gvsu.edu/~mcguire/ProofBuilder/pub/2007_sigcse/poster.html


.Close Proofs and Demonstrations