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: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <k1s9t5$ogb$1@smc.vnet.net>
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.