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/nfgnkyi3c2rw97myxkm1kxqbylidds8j-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/jvjk75ggp3sxxjd8ffhgv31mjswz3kwb-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 |