This is the Trace Id: aec0b86bfa1107b4031e9c08e0af0274

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.

Download

  • Version:

    1

    Date Published:

    11/15/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.
Back To Top