bussproofs-extra: Extra commands for bussproofs.sty

Version:
0.3
Copyright:
Richard Zach
License:
lppl1.3c
Packaged on:
4/5/2019 8:12:01 PM
Number of files:
6
Size on disk:
243.52 kB

This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.