Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Formal Proof Language Example - Human-Readable?
Jun 27, 2009 11:09 PM