Package | Summary | Distribution | Download |
texlive-ebproof-2024.213.2.1.1svn57544-56.2.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Tumbleweed for noarch | texlive-ebproof-2024.213.2.1.1svn57544-56.2.noarch.rpm |
texlive-ebproof-2024.213.2.1.1svn57544-56.2.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Ports Tumbleweed for noarch | texlive-ebproof-2024.213.2.1.1svn57544-56.2.noarch.rpm |
| Formal proofs in the style of sequent calculus | | texlive-ebproof-2024.213.2.1.1svn57544-56.2.noarch.rpm |
texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Leap 15.4 for noarch | texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.rpm |
texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Leap 15.5 for noarch | texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.rpm |
texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Leap 15.6 for noarch | texlive-ebproof-2021.189.2.1.1svn57544-150400.17.1.noarch.rpm |
texlive-ebproof-2017.133.2.0svn44392-5.18.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Leap 15.3 for noarch | texlive-ebproof-2017.133.2.0svn44392-5.18.noarch.rpm |
texlive-ebproof-2017.133.2.0svn44392-lp152.7.2.noarch.html | Formal proofs in the style of sequent calculus | OpenSuSE Leap 15.2 for noarch | texlive-ebproof-2017.133.2.0svn44392-lp152.7.2.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora Rawhide for x86_64 | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora Rawhide for aarch64 | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora Rawhide for ppc64le | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora Rawhide for s390x | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora 40 for x86_64 | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora 40 for aarch64 | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora 40 for ppc64le | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-71.fc40.noarch.html | Formal proofs in the style of sequent calculus | Fedora 40 for s390x | texlive-ebproof-svn57544-71.fc40.noarch.rpm |
texlive-ebproof-svn57544-69.fc39.noarch.html | Formal proofs in the style of sequent calculus | Fedora 39 for x86_64 | texlive-ebproof-svn57544-69.fc39.noarch.rpm |
texlive-ebproof-svn57544-69.fc39.noarch.html | Formal proofs in the style of sequent calculus | Fedora 39 for aarch64 | texlive-ebproof-svn57544-69.fc39.noarch.rpm |
texlive-ebproof-svn57544-69.fc39.noarch.html | Formal proofs in the style of sequent calculus | Fedora 39 for ppc64le | texlive-ebproof-svn57544-69.fc39.noarch.rpm |
texlive-ebproof-svn57544-69.fc39.noarch.html | Formal proofs in the style of sequent calculus | Fedora 39 for s390x | texlive-ebproof-svn57544-69.fc39.noarch.rpm |
texlive-ebproof-svn57544-65.fc38.noarch.html | Formal proofs in the style of sequent calculus | Fedora 38 for x86_64 | texlive-ebproof-svn57544-65.fc38.noarch.rpm |
texlive-ebproof-svn57544-65.fc38.noarch.html | Formal proofs in the style of sequent calculus | Fedora 38 for aarch64 | texlive-ebproof-svn57544-65.fc38.noarch.rpm |
texlive-ebproof-svn57544-65.fc38.noarch.html | Formal proofs in the style of sequent calculus | Fedora 38 for ppc64le | texlive-ebproof-svn57544-65.fc38.noarch.rpm |
texlive-ebproof-svn57544-65.fc38.noarch.html | Formal proofs in the style of sequent calculus | Fedora 38 for s390x | texlive-ebproof-svn57544-65.fc38.noarch.rpm |
texlive-ebproof-svn57544-60.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 updates for x86_64 | texlive-ebproof-svn57544-60.fc37.noarch.rpm |
texlive-ebproof-svn57544-60.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 updates for aarch64 | texlive-ebproof-svn57544-60.fc37.noarch.rpm |
texlive-ebproof-svn57544-60.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 updates for armhfp | texlive-ebproof-svn57544-60.fc37.noarch.rpm |
texlive-ebproof-svn57544-59.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 for x86_64 | texlive-ebproof-svn57544-59.fc37.noarch.rpm |
texlive-ebproof-svn57544-59.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 for aarch64 | texlive-ebproof-svn57544-59.fc37.noarch.rpm |
texlive-ebproof-svn57544-59.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 for ppc64le | texlive-ebproof-svn57544-59.fc37.noarch.rpm |
texlive-ebproof-svn57544-59.fc37.noarch.html | Formal proofs in the style of sequent calculus | Fedora 37 for s390x | texlive-ebproof-svn57544-59.fc37.noarch.rpm |