11 commits

Author	SHA1	Message	Date
Michael Raskin	05c7e81eaa	Move E prover to applications/science/logic ... svn path=/nixpkgs/trunk/; revision=23434	2010-08-25 22:38:11 +00:00
Peter Simons	970b3402e9	pkgs/applications/science/logic/hol: initial version ... svn path=/nixpkgs/trunk/; revision=23430	2010-08-25 19:50:24 +00:00
Marco Maggesi	c0f343b752	Update Coq to version 8.2pl2 (patch by roconnor) ... svn path=/nixpkgs/trunk/; revision=22971	2010-08-05 18:44:42 +00:00
Eelco Dolstra	cc84ac9e84	svn path=/nixpkgs/trunk/; revision=22880	2010-08-02 16:01:55 +00:00
Peter Simons	1295493b18	pkgs/applications/science/logic/coq: install coqide libraries ... Patch courtesy of Russell O'Connor. svn path=/nixpkgs/trunk/; revision=21838	2010-05-18 13:40:19 +00:00
Marco Maggesi	afbb01c90d	Add expression for Coq 8.3 beta ... svn path=/nixpkgs/trunk/; revision=21734	2010-05-11 20:14:46 +00:00
Marco Maggesi	513d653d68	Add HOL Light and its dependencies. ... Add pkgs/applications/science/logic/hol_light and pkgs/applications/science/emacs-modes/hol_light Some functionalities of HOL Light requires the compiled sources of OCaml. For now we provide a new package ocaml_with_sources. After this shuold be merged with the current version of OCaml already present in nixpkgs. svn path=/nixpkgs/trunk/; revision=20008	2010-02-15 11:00:02 +00:00
Marco Maggesi	98aaa4421c	Add expression for Isabelle2009 ... svn path=/nixpkgs/trunk/; revision=18905	2009-12-11 17:00:52 +00:00
Marco Maggesi	c713b0ed67	Preliminary version of package ssreflect ... Add expression for ssreflect, an extension to the Coq Proof Assistant. Still has some clitches (see TODO in default.nix) but is usable anyway. svn path=/nixpkgs/trunk/; revision=18145	2009-11-05 15:08:12 +00:00
Marco Maggesi	a0207b3dc7	Updated Coq to version 8.2pl1 ... svn path=/nixpkgs/trunk/; revision=18069	2009-11-02 11:44:27 +00:00
Andres Löh	12ca68d114	Added a preliminary expression for Coq (no IDE support yet). ... svn path=/nixpkgs/trunk/; revision=11983	2008-06-04 15:10:05 +00:00