Re: [ProofPower] ProofPower (and xpp) is a great program!

2015-03-30 Thread Rob Arthan
David, On 30 Mar 2015, at 06:05, David Topham dtop...@ohlone.edu wrote: I know I am preaching to the choir here, but I was so impressed by the behavior of ProofPower today I thought I would go ahead and express my appreciation anyway! I have been using xpp to prepare notes and exercises

[ProofPower] ProofPower (and xpp) is a great program!

2015-03-29 Thread David Topham
I know I am preaching to the choir here, but I was so impressed by the behavior of ProofPower today I thought I would go ahead and express my appreciation anyway! I have been using xpp to prepare notes and exercises for my discrete math course this semester, and today after spending a couple of