[isabelle-dev] Checked "assume" command

Lawrence Paulson lp15 at cam.ac.uk
Wed Sep 5 15:53:03 CEST 2012

Good idea. Please ensure that some of them are brand-new users.

On 5 Sep 2012, at 14:46, Makarius <makarius at sketis.net> wrote:

> What I need is to watch over the shoulders of more people trying to write Isar proofs in the current Prover IDE.  In May this year I had 15 people and 2 days to get some impressions where to continue next.

More information about the isabelle-dev mailing list