Re: [isabelle] Two questions of a beginner
On Fri, 18 Jan 2013, Not Sure wrote:
1. blast, auto, ... are all GREAT!
But is there a way (in ProofGeneral) to see the proofs found by these
tools more detail?
Side note: You should definitely try Isabelle/jEdit instead of Proof
I've myself been substantially involved in making Isabelle Proof General
work 13 years ago, but I don't see any reason left to use it today (only
habits of Emacs users that have to be unlearned.)
This archive was generated by a fusion of
Pipermail (Mailman edition) and