Package | Summary | Distribution | Download |
texlive-bussproofs-2024.213.1.1svn54080-54.2.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Tumbleweed for noarch | texlive-bussproofs-2024.213.1.1svn54080-54.2.noarch.rpm |
texlive-bussproofs-2024.213.1.1svn54080-54.2.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Ports Tumbleweed for noarch | texlive-bussproofs-2024.213.1.1svn54080-54.2.noarch.rpm |
| Proof trees in the style of the sequent calculus | | texlive-bussproofs-2024.213.1.1svn54080-54.2.noarch.rpm |
texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Leap 15.4 for noarch | texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.rpm |
texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Leap 15.5 for noarch | texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.rpm |
texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Leap 15.6 for noarch | texlive-bussproofs-2021.189.1.1svn54080-150400.17.1.noarch.rpm |
texlive-bussproofs-2017.133.1.1svn27488-5.18.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Leap 15.3 for noarch | texlive-bussproofs-2017.133.1.1svn27488-5.18.noarch.rpm |
texlive-bussproofs-2017.133.1.1svn27488-lp152.7.2.noarch.html | Proof trees in the style of the sequent calculus | OpenSuSE Leap 15.2 for noarch | texlive-bussproofs-2017.133.1.1svn27488-lp152.7.2.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora Rawhide for x86_64 | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora Rawhide for aarch64 | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora Rawhide for ppc64le | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora Rawhide for s390x | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora 40 for x86_64 | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora 40 for aarch64 | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora 40 for ppc64le | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-71.fc40.noarch.html | Proof trees in the style of the sequent calculus | Fedora 40 for s390x | texlive-bussproofs-svn54080-71.fc40.noarch.rpm |
texlive-bussproofs-svn54080-69.fc39.noarch.html | Proof trees in the style of the sequent calculus | Fedora 39 for x86_64 | texlive-bussproofs-svn54080-69.fc39.noarch.rpm |
texlive-bussproofs-svn54080-69.fc39.noarch.html | Proof trees in the style of the sequent calculus | Fedora 39 for aarch64 | texlive-bussproofs-svn54080-69.fc39.noarch.rpm |
texlive-bussproofs-svn54080-69.fc39.noarch.html | Proof trees in the style of the sequent calculus | Fedora 39 for ppc64le | texlive-bussproofs-svn54080-69.fc39.noarch.rpm |
texlive-bussproofs-svn54080-69.fc39.noarch.html | Proof trees in the style of the sequent calculus | Fedora 39 for s390x | texlive-bussproofs-svn54080-69.fc39.noarch.rpm |