pfnum: LaTeX Proof-Step Renumbering
This program is for use with the LaTeX pf and pf2 packages. Last published: April 9, 2012.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
1
Date Published:
15/11/2023
File Name:
pfnum-win.zip
File Size:
39.0 KB
This program is for use with the LaTeX pf and pf2 packages. It makes the symbolic labels of proof steps the same as the printed step numbers.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.