[Nix-dev] Re: prover9 pkg, yet another theorem prover for first order logic

[Tom Ridge]

I really should check these things first. Here is a version with the
correct homepage and license.

Thanks

Tom

On 26 August 2010 12:26, Tom Ridge <tom.j.ridge at googlemail.com> wrote:
> Thanks for updating svn with the hol pkg. This is another pkg for the
> excellent prover9.
>
>
> Index: all-packages.nix
> ===================================================================
> --- all-packages.nix    (revision 23415)
> +++ all-packages.nix    (working copy)
> @@ -6767,6 +6769,8 @@
>     inherit (pkgs.emacs23Packages) proofgeneral;
>   };
>
> +  prover9 = callPackage ../applications/science/logic/prover9 { };
> +
>   ssreflect = callPackage ../applications/science/logic/ssreflect {
>     camlp5 = camlp5_transitional;
>   };
>
> --
> Dr Tom Ridge, Lecturer, Department of Computer Science, University of
> Leicester
>



-- 
Dr Tom Ridge, Lecturer, Department of Computer Science, University of Leicester
-------------- next part --------------
A non-text attachment was scrubbed...
Name: default.nix
Type: application/octet-stream
Size: 1158 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20100826/953fe16f/attachment.obj