DOCS: debugger + theorem prover
- To: mathgroup at smc.vnet.net
- Subject: [mg102159] DOCS: debugger + theorem prover
- From: Chris Osborn <chrisosb at gmail.com>
- Date: Fri, 31 Jul 2009 05:53:59 -0400 (EDT)
Hi All, Does anyone else feel there should be more documentation on the interactive debugger, and also on the automated theorem prover? I myself find the debugger a bit finicky and would like some documentation there. Also, it seems the automated theorem prover is called when the arguments to FullSimplify are given in a specific format, but that format is not documented. Thanks, Chris