Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-ebproof-57544-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-ebproof Distribution: OpenMandriva Lx
Version: 57544 Vendor: OpenMandriva
Release: 1 Build date: Wed Nov 16 02:10:02 2022
Group: Publishing Build host: predatorhelios-1.openmandriva.org
Size: 574535 Source RPM: texlive-ebproof-57544-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://www.ctan.org/tex-archive/macros/latex/contrib/ebproof
Summary: Formal proofs in the style of sequent calculus
 
This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist/doc/latex/ebproof
/usr/share/texmf-dist/doc/latex/ebproof/README.md
/usr/share/texmf-dist/doc/latex/ebproof/ebproof.pdf
/usr/share/texmf-dist/source/latex/ebproof
/usr/share/texmf-dist/source/latex/ebproof/ebproof.dtx
/usr/share/texmf-dist/source/latex/ebproof/ebproof.ins
/usr/share/texmf-dist/tex/latex/ebproof
/usr/share/texmf-dist/tex/latex/ebproof/ebproof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 25 23:04:18 2024