nixsearch / pkg / coqPackages.CoLoR / 1.7.0
coqPackages.CoLoR 1.7.0
CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant
Linux
last changed
Pin this version
$ devbox add coqPackages.CoLoR@1.7.0
$ nix shell github:NixOS/nixpkgs/316b82563a7793a4a88bed9e41adb936d9adc969#coqPackages.CoLoR
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
coqPackages.CoLoR |
316b82563a77 |
JSON: /v2/pkg?name=coqPackages.CoLoR · /v2/resolve?name=coqPackages.CoLoR&version=1.7.0