Re: [isabelle] Hyperlinked ZF?

Victor Porton wrote:
There are which presents hyperlinked theories based on Isabelle/ZF but in that site is missing presentation of ZF core. Are there anywhere a hyperlinked presentation of Isabelle/ZF?

Isarmathlib and the software that generates the HTML isn't maintained by the Isabelle team. Maybe the author can help you there.

There is also a HTML version generated from the main ZF theorie, but it is much less pretty:


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