The TeX Catalogue Online

bussproofs

Proof trees in the style of the sequent calculus

See also ebproof.

The author is Sam Buss. The package is Copyright © 1994-1996,2004-2006 Samuel R. Buss.

License: lppl1.3 Version: 1.1 Catalogued: 2017-04-18