nixos/nixpkgs.git/pkgs/development/coq-modules, branch staging.patchShebangs Nix Packages collection Adds coq-interval 2014-12-08T08:15:13+00:00 Vincent Laporte Vincent.Laporte@gmail.com 2014-12-08T06:33:37+00:00 6a69a25c5687ab9a50b79197bf15fadf65644d14 This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. Homepage: http://coq-interval.gforge.inria.fr/ 
This library provides vernacular files containing tactics for
simplifying the proofs of inequalities on expressions of real numbers
for the Coq proof assistant.

Homepage: http://coq-interval.gforge.inria.fr/
coq-flocq: license 2014-12-07T12:14:33+00:00 Vincent Laporte Vincent.Laporte@gmail.com 2014-12-07T12:14:08+00:00 7893825613323053494d7284d670c8e7cf118a52 






coqPackages.coqeal: new expression
2014-12-04T20:15:30+00:00

John Wiegley
johnw@newartisans.com

2014-12-04T20:15:30+00:00

e5d92d45b7917350e6f2f262f9871c5d46f7719e












coqPackages.unimath: new expression
2014-11-12T20:37:25+00:00

John Wiegley
johnw@newartisans.com

2014-11-12T20:37:25+00:00

38ab111dd77290a95708ab771e2952f8d8e6f8df












coqPackages.flocq: new expression
2014-10-21T05:23:36+00:00

John Wiegley
johnw@newartisans.com

2014-10-21T05:23:36+00:00

89e68ee32ea3ca2894f76e243704820eb48dd0c1












coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
2014-10-13T21:11:33+00:00

John Wiegley
johnw@newartisans.com

2014-10-13T21:10:19+00:00

f78f2a90d664fb7e142fb6e4e64b9273516be4d8












coqPackages.domains: new expression
2014-10-12T03:01:46+00:00

John Wiegley
johnw@newartisans.com

2014-10-12T03:01:46+00:00

7821d152990aa729060705848c0a4b1051a14fb4












coqPackages.ynot: remove broken tag
2014-10-12T00:32:16+00:00

John Wiegley
johnw@newartisans.com

2014-10-12T00:32:16+00:00

f300c68977edb64d05f91225a3ff232beec3acc3












coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
2014-10-11T22:24:59+00:00

John Wiegley
johnw@newartisans.com

2014-10-11T22:24:28+00:00

904bee0c461e6c86fcb6e53dd0c698f938dbf1bf












coqPackages.bedrock: new expression
2014-10-11T21:22:15+00:00

John Wiegley
johnw@newartisans.com

2014-10-11T21:21:34+00:00

382badfefbd842dfb2d497318667b812d92f0eb2