diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-22 09:10:55 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-03-29 09:07:27 +0100 |
| commit | 823107038bdc66d6868b4469fb19573ef8cd7c17 (patch) | |
| tree | 00a6bb233344d029cb7803c15ad6f7803bdb5b4f /pkgs/top-level/coq-packages.nix | |
| parent | dcf40f7c24eec1160e6433b6644d3e2dd268e417 (diff) | |
| download | nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar.gz nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar.bz2 nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar.lz nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar.xz nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.tar.zst nixlib-823107038bdc66d6868b4469fb19573ef8cd7c17.zip | |
coqPackages.coqhammer: init at 1.1
CoqHammer is a general-purpose automated reasoning hammer tool for Coq. Homepage: http://cl-informatik.uibk.ac.at/cek/coqhammer/
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 5f55d88cb772..f08f2eacc23c 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -19,6 +19,7 @@ let coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {}; coq-extensible-records = callPackage ../development/coq-modules/coq-extensible-records {}; coq-haskell = callPackage ../development/coq-modules/coq-haskell { }; + coqhammer = callPackage ../development/coq-modules/coqhammer {}; coqprime = callPackage ../development/coq-modules/coqprime {}; coquelicot = callPackage ../development/coq-modules/coquelicot {}; corn = callPackage ../development/coq-modules/corn {}; |