You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| bussproofs | Proof trees in the style of the sequent calculus. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| bussproofs.sty | 32 KiB | 2006-Oct-12 | |
| testbp2.pdf | 50 KiB | 2006-Jun-25 | |
| testbp2.tex | 7 KiB | 2006-Jun-25 |
*File sizes in kibibytes.