Ankündigungen für 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.

Paket	bussproofs-extra
Version	0.4 2019-05-31
Copyright	2019 Richard Zach
Betreuer	Richard Zach

Atom Atom-1.0-Feed mit Ankündigungen für das Paket bussproofs-extra.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket bussproofs-extra.