CVEs related to bugs in the Natural Deduction LaTeX Package

Open bugs

There are no CVEs related to bugs open in the Natural Deduction LaTeX Package.

Resolved bugs

There are no CVEs related to bugs resolved in the Natural Deduction LaTeX Package.