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/vmlqx5ibxqv8xs5lyj2n2kx354lfrsq4-coq-bignums-8.11.0.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/h4b01kp0kmxxg44csd9jn5wqvp4v1va6-coq-bignums-8.11.0.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/kmxgv22s8p6hxw6iyjhlyjc4i9rsc402-coq-bignums-8.11.0.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/hgzbb3j80akqj19339dx301brc8x68dx-coq-bignums-8.11.0.drv | |
mips64el-linux | /gnu/store/w69bc3i7n0gvcki8ca192snja5iay2lb-coq-bignums-8.11.0.drv | ||
i686-linux | /gnu/store/18cw9vmh3mwag4ajsfng6s3mvqb25idq-coq-bignums-8.11.0.drv | ||
i586-gnu | /gnu/store/qyv0mcpnhghdb7dhlcm7jhd0kpk29h0m-coq-bignums-8.11.0.drv | ||
armhf-linux | /gnu/store/z47fgq9ifjdyja2karc5myxc8jjxvgjr-coq-bignums-8.11.0.drv | ||
aarch64-linux | /gnu/store/0wx98c5s4sa2ys7l97vky4jv2wpgmanr-coq-bignums-8.11.0.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |