Package | Summary | Distribution | Download |
texlive-prooftrees-2024.213.0.0.8_svn_9582svn67399-54.2.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Tumbleweed for noarch | texlive-prooftrees-2024.213.0.0.8_svn_9582svn67399-54.2.noarch.rpm |
texlive-prooftrees-2024.213.0.0.8_svn_9582svn67399-54.2.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Ports Tumbleweed for noarch | texlive-prooftrees-2024.213.0.0.8_svn_9582svn67399-54.2.noarch.rpm |
| Forest-based proof trees (symbolic logic) | | texlive-prooftrees-2024.213.0.0.8_svn_9582svn67399-54.2.noarch.rpm |
texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Leap 15.4 for noarch | texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.rpm |
texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Leap 15.5 for noarch | texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.rpm |
texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Leap 15.6 for noarch | texlive-prooftrees-2021.189.0.0.7_svn_8641svn52221-150400.17.1.noarch.rpm |
texlive-prooftrees-2017.133.0.0.6svn43184-5.18.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Leap 15.3 for noarch | texlive-prooftrees-2017.133.0.0.6svn43184-5.18.noarch.rpm |
texlive-prooftrees-2017.133.0.0.6svn43184-lp152.7.2.noarch.html | Forest-based proof trees (symbolic logic) | OpenSuSE Leap 15.2 for noarch | texlive-prooftrees-2017.133.0.0.6svn43184-lp152.7.2.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora Rawhide for x86_64 | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora Rawhide for aarch64 | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora Rawhide for ppc64le | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora Rawhide for s390x | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 40 for x86_64 | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 40 for aarch64 | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 40 for ppc64le | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-71.fc40.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 40 for s390x | texlive-prooftrees-svn52221-71.fc40.noarch.rpm |
texlive-prooftrees-svn52221-69.fc39.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 39 for x86_64 | texlive-prooftrees-svn52221-69.fc39.noarch.rpm |
texlive-prooftrees-svn52221-69.fc39.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 39 for aarch64 | texlive-prooftrees-svn52221-69.fc39.noarch.rpm |
texlive-prooftrees-svn52221-69.fc39.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 39 for ppc64le | texlive-prooftrees-svn52221-69.fc39.noarch.rpm |
texlive-prooftrees-svn52221-69.fc39.noarch.html | Forest-based proof trees (symbolic logic) | Fedora 39 for s390x | texlive-prooftrees-svn52221-69.fc39.noarch.rpm |