ctan-ann - seqcalcAnnouncements of the Comprehensive TeX Archive Networkctan-ann-seqcalc2026-09-11T05:53:21ZNew on CTAN: seqcalc59a1ce88-0c2b-8aba-ba84-c74036b0bea1@ctan.org2026-02-02T17:00:42ZJulian submitted the
seqcalc
package.
...
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,
...
]]>
CTAN Announcementsctan-ann at ctan.org