Announcements for bussproofs-extra

bussproofs-extra – Extra commands for bussproofs.sty

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

Package	bussproofs-extra
Version	0.4 2019-05-31
Copyright	2019 Richard Zach
Maintainer	Richard Zach

Atom Atom 1.0 feed with announcements for package bussproofs-extra.
RSS RSS 2.0 feed with announcements for package bussproofs-extra.