Re: [isabelle] Automatically formatting Isabelle proof
I have an email adr with suffix ac.cn.
I can help you.
On Wed, 2014-01-08 at 12:46 +0100, Jens-D. Doll wrote:
> Hello Li,
> this is not quite correct. If you have a student email address, containing
> e.g. ".edu" or "university", you can request a free academic license.
> Use the menu item of Elbe, see attachment, which leads you to the
> licensing web page.
> Are you willing to help me?
> Am .01.2014, 10:59 Uhr, schrieb li yongjian <lyj238 at gmail.com>:
> > I have downloaded Elbe, but it seems that this is not a free software?
> > I cannot use it.
This archive was generated by a fusion of
Pipermail (Mailman edition) and