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.

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (146.6k).