Re: [isabelle] Hyperlinked ZF?



Victor Porton wrote:
There are http://isarmathlib.org/ 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: http://isabelle.in.tum.de/dist/library/ZF/index.html

Alex





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