pf2html
LATEX2HTML + pf.sty (hypertext proofs)
SourceForge.net Logo

You will find documentations, screenshots, help and faqs, forum and mailinglist and so on at the pf2html SourceForge project page.