New on CTAN: seqcalc
Date: February 2, 2026 5:00:42 PM CET
Julian submitted the
seqcalc
package.
Version number: 1.0 2026-01-31
License type: lppl1.3c
Summary description: A package for declarative sequent-calculus proofs
Announcement text:
seqcalc is a structured wrapper around the bussproofs package. It provides a declarative interface for sequent calculus proofs, including rule declaration, rule application, formula normalization, shortcuts, and optional standard rule sets. The goal is to simplify the construction of proof trees while keeping the underlying bussproofs layout untouched.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/seqcalc More information is at https://www.ctan.org/pkg/seqcalc
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
seqcalc is a structured wrapper around the bussproofs package. It provides a declarative interface for sequent calculus proofs, including rule declaration, rule application, formula normalization, shortcuts, and optional standard rule sets. The goal is to simplify the construction of proof trees while keeping the underlying bussproofs layout untouched.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/seqcalc More information is at https://www.ctan.org/pkg/seqcalc
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
seqcalc – A package for declarative sequent-calculus proofs
This package provides a structured wrapper around the bussproofspackage. It provides a declarative interface for sequent calculus proofs, including rule declaration, rule application, formula normalization, shortcuts, and optional standard rule sets. The goal is to simplify the construction of proof trees while keeping the underlying bussproofs layout untouched.
| Package | seqcalc |
| Version | 1.0 2026-01-31 |
| Maintainer | Julian |