Blueprints for the Natural Deduction LaTeX Package

Launchpad does not know how the Natural Deduction LaTeX Package tracks feature planning or documentation.