Coq library for arbitrary large numbers
Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/66mmr16bzhiixizm95h6zzy82bwv0qbg-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/4cmipcqww4d9j98wjfg335rj5hmkldpv-coq-bignums-8.9.0.drv |
Linter | Message | Location |
---|---|---|
source-unstable-tarball Check for autogenerated tarballs | the source URI should not be an autogenerated tarball |