Announcements for seqcalc

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

Atom Atom 1.0 feed with announcements for package seqcalc.
RSS RSS 2.0 feed with announcements for package seqcalc.