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 /lib/lists.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 'lib/lists.nix')
0 files changed, 0 insertions, 0 deletions