Re: [isabelle] Automatically formatting Isabelle proof

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>:

I have downloaded Elbe, but it seems that this is not a free software?

I cannot use it.

Attachment: academic.jpg
Description: JPEG image

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