CTAN Comprehensive TeX Archive Network

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.

Packagebussproofs-extra
Version0.4 2019-05-31
Copyright2019 Richard Zach
MaintainerRichard Zach

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

Guest Book Sitemap Contact Contact Author