[isabelle] Hyperlinked ZF?
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?
Or maybe I can build it myself, can't I?
Victor Porton - http://portonvictor.org
This archive was generated by a fusion of
Pipermail (Mailman edition) and