Marco Benini

LaTeXing proofs

I’ve written a LaTeX package to typeset proofs in natural deduction and similar systems.
In some ways, it improves the existing packages by adding a new feature: the ability to reference assumptions in a proof and the ability to create and reference “proof summaries”.

If you want to have a look, it is available at CTAN.

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s


This entry was posted on December 2, 2014 by in LaTeX & TeX.
%d bloggers like this: