diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/prooftree/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/prooftree/default.nix | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/prooftree/default.nix b/nixpkgs/pkgs/applications/science/logic/prooftree/default.nix new file mode 100644 index 000000000000..1f6620a2872d --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/prooftree/default.nix @@ -0,0 +1,43 @@ +{ stdenv, fetchurl, pkgconfig, ncurses, ocamlPackages }: + +stdenv.mkDerivation rec { + name = "prooftree-${version}"; + version = "0.13"; + + src = fetchurl { + url = "https://askra.de/software/prooftree/releases/prooftree-${version}.tar.gz"; + sha256 = "0z1z4wqbqwgppkh2bm89fgy07a0y2m6g4lvcyzs09sm1ysklk2dh"; + }; + + nativeBuildInputs = [ pkgconfig ]; + buildInputs = [ ncurses ] ++ (with ocamlPackages; [ + ocaml findlib camlp5 lablgtk ]); + + dontAddPrefix = true; + configureFlags = [ "--prefix" "$(out)" ]; + + meta = with stdenv.lib; { + description = "A program for proof-tree visualization"; + longDescription = '' + Prooftree 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). + ''; + homepage = http://askra.de/software/prooftree; + platforms = platforms.unix; + maintainers = [ maintainers.jwiegley ]; + license = licenses.gpl3; + }; +} |