seqcalc__doc
A package for declarative sequent-calculus proofs
- Version:
- 1.0
- Copyright:
- License:
- lppl1.3c
- Packaged on:
- 02/14/2026 11:43:56
- Number of files:
- 3
- Size on disk:
- 184.71 kB
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.