LATEX2HTML + pf.sty (hypertext proofs)
Leslie Lamport wrote an article on "How to Write a Proof" back in 1993. In it, he described the LATEX style pf.sty for writing structured proofs. This style makes it much harder to prove things that are not true. The pf2html project adds functionality to LATEX2HTML such that LATEX documents written with pf.sty can be viewed in a web browser up to the desired level of detail for each branch of a structured proof.
A LATEX2HTML extension for pf.sty allowing hypertext style proofs.
Last Update: 2002-10-15, Wolfgang Slany & Martin Glowacki