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:

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s

Information

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