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
Paessler - Monitor Your Whole Network in Minutes Icon
Paessler - Monitor Your Whole Network in Minutes

Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
Start Free 30-Day Trial
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