Robuta

https://ctan.org/tex-archive/macros/latex/contrib/bussproofs CTAN: /tex-archive/macros/latex/contrib/bussproofs ctan tex archive macros contrib https://ctan.org/pkg/bussproofs-extra CTAN: Package bussproofs-extra ctan package extra https://www.ctan.org/recommendations/bussproofs CTAN: Suggestions for bussproofs ctan suggestions https://ctan.org/ctan-ann/pkg/bussproofs CTAN: CTAN-ann - bussproofs ctan ann