bussproofs-extra
Extra commands for bussproofs.sty
- Version:
- 0.4
- Copyright:
- Richard Zach
- License:
- lppl1.3c
- Packaged on:
- 06/04/2019 20:11:42
- 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.