bussproofs-extra: Extra commands for bussproofs.sty

Version:
0.4
Copyright:
Richard Zach
License:
lppl1.3c
Packaged on:
6/4/2019 8:11:42 PM
Number of files:
7
Size on disk:
255.97 kB

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