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
Train ML Models With SQL You Already Know Icon
Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
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