University of Calgary
UofC Navigation

bpextra: entire deductions in bussproofs.sty

This website has moved!

You are looking at an archived page. The website has moved to

Submitted by Richard Zach on Thu, 05/01/2014 - 12:16pm

The LaTeX package bussproofs.sty for typesetting natural deduction/sequent calculus proofs is nifty especially for its nice alignment of sequents.  By contrast to the proof.sty package, it doesn't allow you to typeset missing parts of a proof, though. proofs.sty has the \deduce command for that; it typesets vertical dots instead of a horizontal inference line.

I wrote an add-on for bussproofs.sty that does the same.  Not quite ready for prime time yet, but if you like playing with bleeding-edge stuff, you can get it here.  Feedback? Please file an issue on github.

File attachments: