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
Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of pf2html!

Additional Project Details

Intended Audience

Science/Research, Education, End Users/Desktop

User Interface

Other toolkit

Programming Language

Perl

Related Categories

Perl TeX LaTeX, Perl Mathematics Software

Registered

2007-02-07
Report inappropriate content