From Newsgroup: comp.text.tex
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
--- Synchronet 3.21b-Linux NewsLink 1.2