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
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