pf2html

We have hosted the application pf2html in order to run this application in our online workstations with Wine or directly.

Quick description about pf2html:

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.

Audience: Education, End Users/Desktop, Science/Research.
User interface: Other toolkit.
Programming Language: Perl.
Categories: