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/p7yxhc1kpg5zgam9p07zdn2h0ph837mb-coq-bignums-8.9.0.drv | ||
mips64el-linux | /gnu/store/vdd3pvsg8n05pa80gcjvzf081ndqz9g5-coq-bignums-8.9.0.drv | ||
i686-linux | /gnu/store/df2sb369y1nd489pkw2iwpj3svpgy159-coq-bignums-8.9.0.drv | ||
armhf-linux | /gnu/store/cmnjwfix8fxyw54ds6vlcw68mm94ib4h-coq-bignums-8.9.0.drv | ||
aarch64-linux | /gnu/store/kdg0glspsgpk535gk20x86b2zqmmwad3-coq-bignums-8.9.0.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |