New on CTAN: seqcalc
CTAN Announcements via ctan-ann via ctan-ann <[email protected]>
| Newsgroups | gmane.comp.tex.ctan.announce |
|---|---|
| Organization | CTAN |
| Message-ID | <[email protected]> |
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
_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]