Re: Mathematica Prove[...] Command Possible?
- To: mathgroup at smc.vnet.net
- Subject: [mg127927] Re: Mathematica Prove[...] Command Possible?
- From: Richard Fateman <fateman at cs.berkeley.edu>
- Date: Sun, 2 Sep 2012 04:34:22 -0400 (EDT)
- Delivered-to: firstname.lastname@example.org
- Delivered-to: email@example.com
- Delivered-to: firstname.lastname@example.org
- Delivered-to: email@example.com
- References: <firstname.lastname@example.org>
On 8/31/2012 11:27 PM, amzoti wrote: > Hello, > > I have always been curious if Mathematica has ever considered a Prove command? For background on using computers in proofs and other matters, see www.mkm-ig.org/ Only the people at WRI could tell if they have ever considered an XXX command.