texlive-latex-bussproofs 59745 Formal proofs in the style of sequent calculus
This package provides commands to typeset proof trees in the style of sequent calculus and related systems.
- Website: https://www.math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/index.html
- License: LPPL 1.3+
- Package source: tex.scm
- Patches: None
- Builds: x86_64-linux, i686-linux, armhf-linux, aarch64-linux, i586-gnu, powerpc64le-linux