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
This archive was generated by a fusion of
Pipermail (Mailman edition) and