Fri, 07 Jun 2024 23:19:43 UTC | login

Information for RPM prooftree-0.13-21.fc37.riscv64.rpm

ID879338
Nameprooftree
Version0.13
Release21.fc37
Epoch
Archriscv64
SummaryProof tree visualization for Proof General
DescriptionProoftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it. Prooftree uses different colors for the already proven subgoals, the current branch in the proof and the still open subgoals. Sequent texts are not displayed in the proof tree itself, but they are shown as a tool-tip when the mouse rests over a sequent symbol. Long proof commands are abbreviated in the tree display, but show up in full length as tool-tip. Both, sequents and proof commands, can be shown in the display below the tree (on single click) or in a separate window (on double or shift-click). Prooftree can mark the proof command that introduced a certain existential variable and thus help to locate the problem when Coq says: No more subgoals but non-instantiated existential variables.
Build Time2022-11-10 08:54:45 GMT
Size1.47 MB
0934f5b2a902a6bf33bf25f3371f3849
LicenseGPLv3+
Buildrootf37-build-671172-75197
Provides
prooftree = 0.13-21.fc37
prooftree(riscv-64) = 0.13-21.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libatk-1.0.so.0()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.28)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libcairo.so.2()(64bit)
libfontconfig.so.1()(64bit)
libfreetype.so.6()(64bit)
libgdk-x11-2.0.so.0()(64bit)
libgdk_pixbuf-2.0.so.0()(64bit)
libgio-2.0.so.0()(64bit)
libglib-2.0.so.0()(64bit)
libgobject-2.0.so.0()(64bit)
libgtk-x11-2.0.so.0()(64bit)
libharfbuzz.so.0()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libpango-1.0.so.0()(64bit)
libpangocairo-1.0.so.0()(64bit)
libpangoft2-1.0.so.0()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/bin/prooftree5.69 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/a40.00 B
/usr/lib/.build-id/a4/6539d5c67aa779c533ef0db1431127f25088f829.00 B
/usr/share/doc/prooftree0.00 B
/usr/share/doc/prooftree/ChangeLog21.59 KB
/usr/share/doc/prooftree/README2.11 KB
/usr/share/licenses/prooftree0.00 B
/usr/share/licenses/prooftree/COPYING34.32 KB
/usr/share/man/man1/prooftree.1.gz3.83 KB
Component of No Buildroots