This is documentation for tex-bussproofs.

Homepage:
https://www.tug.org/texlive/
