dcernst/IBL-IntroToProof — Issue #4: Improve discussion surrounding proof by contradiction
Author: dcernst
Created: 2012-02-22 23:33:39+00:00
State: open

Discussion surrounding proof by contradiction needs to be improved. Perhaps add a skeleton proof and a full-blown example.