Material Detail

Proof Designer

Proof Designer

Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary element and prove the statement for it. These types of nestings are not automatically done by novices and they take...

Show More


More about this material


Log in to participate in the discussions or sign up if you are not already a MERLOT member.