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.