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.
| Sources | /macros/latex/contrib/seqcalc |
| Documentation | |
| Bug tracker | https://github.com/lambdaphoenix/seqcalc/issues |
| Repository | https://github.com/lambdaphoenix/seqcalc |
| Version | 1.0 2026-01-31 |
| Licenses | The LaTeX Project Public License 1.3c |
| Maintainer | Julian |
| Topics | Proof |
Download the contents of this package in one zip archive (146.6k).
Suggestions
Maybe you are interested in the following packages as well.
Community Comments