Re: [isabelle] Announcing I3P

On Tue, 16 Mar 2010, Holger Gast wrote:

Dear Isabelle users,

It is my pleasure to announce the first public release
of I3P, an Interactive Interface for the Isabelle Prover.
It is available from

I would like to encourage users to try it out and give some feedback, either on this mailing list or directly to Holger.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.