Publishing Formal Mathematics on the Web
Paper describes the design of the Nuprl Web Publisher - an automated tool for converting formal, computer-generated, mathematical texts into a set of hyper-linked HTML pages that preserves original, non-linear, text structure. The current version of the Web Publisher, also developed by the author, provides access to term structure of the displayed formulas and links to definitions of abstractions used in these formulas.
computer science; technical report
Previously Published As