Ankündigungen für 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.

Paket	seqcalc
Version	1.0 2026-01-31
Betreuer	Julian

Atom Atom-1.0-Feed mit Ankündigungen für das Paket seqcalc.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket seqcalc.