latex-pfsteps. LaTeX package providing three facilities for making it easier to typeset proofs.

github.com/tov/latex-pfsteps

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.