texlive-seqcalc Subpackage of texlive-collection-mathscience
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.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | svn77561-2.fc45 | - |
| Fedora 44 | svn77561-2.fc44 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: http://tug.org/texlive/
- License(s): LPPL-1.3c
- Maintainer: spot
Related Packages
- texlive-collection-mathscience
- texlive-12many
- texlive-accents
- texlive-aiplans
- texlive-alg
- View More »
You can contact the maintainers of this package via email at
texlive-collection-mathscience dash maintainers at fedoraproject dot org.
Sources on Pagure