nixpkgs / coqPackages.addition-chains - Addition chains are algorithms for computations of the p-th power of some x, with the least number of multiplication as possible. We present a few implementations of addition chains, with proofs of their correctness.

Homepage - https://github.com/coq-community/hydra-battles

License - MIT

Maintainers - Théo Zimmermann

Releases

0.5 (expand/collapse)
From commit 00460bd6 to 00460bd6
0.4 (expand/collapse)
From commit 039e3758 to 039e3758
0.5 (expand/collapse)
From commit 00f7e1e8 to 021410c0
0.4 (expand/collapse)
From commit 0757207f to 0757207f
0.5 (expand/collapse)
From commit 0719e92d to 0615bf07
0.4 (expand/collapse)
From commit 04af8917 to 04af8917
0.5 (expand/collapse)
From commit 0335855b to 0335855b
0.4 (expand/collapse)
From commit 050c5948 to 050c5948
0.5 (expand/collapse)
From commit 02bce71c to 05011436
0.4 (expand/collapse)
From commit 00ba9c33 to 076ffa9c
0.5 (expand/collapse)
From commit 026fddec to 05b40133
0.4 (expand/collapse)
From commit 04c91b2c to 04c91b2c
0.5 (expand/collapse)
From commit 06ec2027 to 06078e86
0.4 (expand/collapse)
From commit 04e6b03f to 0530b5e1