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 … Continue reading

December 2, 2014 · Leave a comment