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