texlive-bussproofs - Proof trees in the style of the sequent calculus

Property Value
Distribution ROSA 2014.1
Repository ROSA Main x86_64
Package filename texlive-bussproofs-1.0-3-rosa2014.1.noarch.rpm
Package name texlive-bussproofs
Package version 1.0
Package release 3-rosa2014.1
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/bussproofs
License LPPL1.3
Maintainer -
Download size 49.37 KB
Installed size 88.97 KB
The package allows the construction of proof trees in the style
of the sequent calculus and many other proof systems. One novel
feature of the macros is they support the horizontal alignment
according to some centre point specified with the command
\fCenter. This is the style often used in sequent calculus
proofs. The package works in a Plain TeX document, as well as
in LaTeX; an exposition of the commands available is given in
the package file itself.


Package Version Architecture Repository
texlive-bussproofs-1.0-4-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main Updates
texlive-bussproofs-1.0-4-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main Updates
texlive-bussproofs-1.0-3-rosa2014.1.noarch.rpm 1.0 noarch ROSA Main
texlive-bussproofs - - -


Name Value
texlive-kpathsea -
texlive-tlpkg -


Name Value
texlive-bussproofs == 1.0-3:2014.1


Type URL
Mirror mirror.rosalab.ru
Binary Package texlive-bussproofs-1.0-3-rosa2014.1.noarch.rpm
Source Package texlive-bussproofs-1.0-3.src.rpm

Install Howto

  1. Enable ROSA Main repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-bussproofs rpm package:
    # urpmi texlive-bussproofs




2014-06-27 - Alex Burmashev <alex.burmashev@rosalab.ru> 1.0-3
+ Revision: dde0562
- MassBuild#440: Increase release tag

See Also

Package Description
texlive-bxbase-0.5-6-rosa2014.1.noarch.rpm BX bundle base components
texlive-bxcjkjatype-0.2c-6-rosa2014.1.noarch.rpm Typeset Japanese with pdfLaTeX and CJK
texlive-bxdpx-beamer-0.2-6-rosa2014.1.noarch.rpm Dvipdfmx extras for use with beamer
texlive-bxeepic-0.2-6-rosa2014.1.noarch.rpm Eepic facilities using pict2e
texlive-bxjscls-0.3a-6-rosa2014.1.noarch.rpm Document classes based on jsclasses
texlive-bytefield-2.1-3-rosa2014.1.noarch.rpm Create illustrations for network protocol specifications
texlive-c-pascal-1.2-3-rosa2014.1.noarch.rpm Typeset Python, C and Pascal programs
texlive-c90-20111103-3-rosa2014.1.noarch.rpm TeXLive c90 package
texlive-cachepic-1.0-4-rosa2014.1.noarch.rpm Convert document fragments into graphics
texlive-calcage-0.90-7-rosa2014.1.noarch.rpm Calculate the age of something, in years
texlive-calctab-v0.6.1-3-rosa2014.1.noarch.rpm Language for numeric tables
texlive-calculator-1.0a-2-rosa2014.1.noarch.rpm Use LaTeX as a scientific calculator
texlive-calligra-20100503-3-rosa2014.1.noarch.rpm Calligraphic font
texlive-calligra-type1-001.000-3-rosa2014.1.noarch.rpm Type 1 version of Caliigra
texlive-calrsfs-20100220-3-rosa2014.1.noarch.rpm Copperplate calligraphic letters in LaTeX