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.

Project Samples

sample of proof with hidden proof level sample of latex code with pf.sty style statements sample of proof with opened proof level

Project Activity

See All Activity >

Categories

TeX/LaTeX, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow pf2html

pf2html Web Site

Other Useful Business Software
Go from Code to Production URL in Seconds Icon
Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of pf2html!

Additional Project Details

Intended Audience

Education, End Users/Desktop, Science/Research

User Interface

Other toolkit

Programming Language

Perl

Related Categories

Perl TeX LaTeX, Perl Mathematics Software

Registered

2007-02-07
Report inappropriate content