{"name":"prooftree","summary":"Program for proof-tree visualization","description":"Prooftree is a program for proof-tree visualization during interactive\nproof development in a theorem prover. It is currently being developed\nfor Coq and Proof General. Prooftree helps against getting lost between\ndifferent subgoals in interactive proof development. It clearly shows\nwhere the current subgoal comes from and thus helps in developing the\nright plan for solving it.\n\nProoftree uses different colors for the already proven subgoals, the\ncurrent branch in the proof and the still open subgoals. Sequent texts\nare not displayed in the proof tree itself, but they are shown as a\ntool-tip when the mouse rests over a sequent symbol. Long proof commands\nare abbreviated in the tree display, but show up in full length as\ntool-tip. Both, sequents and proof commands, can be shown in the display\nbelow the tree (on single click) or in a separate window (on double or\nshift-click).","homepage_url":"http://askra.de/software/prooftree","license":"GPL-3.0","attribute_paths":["prooftree"],"releases":[{"version":"0.14","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"prooftree","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/cwfrci92bzcsjwnzfgyp4yd10g0w4d81-prooftree-0.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"prooftree","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/4agfk6srcgc7pjnri279a6y35ci3vvil-prooftree-0.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"prooftree","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/a7sasfnmmaph45ibi1p70vbkxlrjr044-prooftree-0.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"prooftree","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ziqrx0drzg1lscrgl20imsgrclwyks1f-prooftree-0.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.13","last_updated":"2024-05-28T16:41:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"prooftree","commit_hash":"4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4","date":"2024-05-28T16:41:07Z","outputs":[{"name":"out","path":"/nix/store/wvwnp261xjnavawcw8gjy3q2dz9iy6p6-prooftree-0.13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"prooftree","commit_hash":"4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4","date":"2024-05-28T16:41:07Z","outputs":[{"name":"out","path":"/nix/store/siwkf9r7dynhwdw17khazsq36692bdwz-prooftree-0.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"prooftree","commit_hash":"4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4","date":"2024-05-28T16:41:07Z","outputs":[{"name":"out","path":"/nix/store/5dqbicfxf5l8m05gkwsba1fc9n3cv6yy-prooftree-0.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"prooftree","commit_hash":"4a3fc4cf736b7d2d288d7a8bf775ac8d4c0920b4","date":"2024-05-28T16:41:07Z","outputs":[{"name":"out","path":"/nix/store/1n22whl50qgpkpvcqhdip0k8s58wpj9z-prooftree-0.13","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}