bend-collections-laws-math@1.0.0.0/laws_math.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/arith.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/addition.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/addition_bounds.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/counter.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_bounds.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_candidate.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_candidate_bound.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_invariant.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_no_overflow.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_quotient.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_remainder.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_shift.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/division_value.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/invariants.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_bridge.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_difference_order.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_index.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_insert.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_lookup.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/map_routing.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/modular_addition.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/modular_negation.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/nat_algebra.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/native_map.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/natural_division.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/natural_products.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/negation_magnitude.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/numeric.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/string_compare.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/subtraction_bounds.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_addition.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_bounds.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_comparison.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_multiplication.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_shift.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_subtraction.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/proofs/word_value.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/spec/numeric.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/spec/unsigned_division.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/cache.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/time.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/wide.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/types/model.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/list.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/logic.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/nat.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/two_list.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/u32.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/u32alg.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/u32div.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/u32half.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/word.bend
bend-collections-laws-math@1.0.0.0/proofs/lib/words32.bend
bend-collections-laws-math@1.0.0.0/proofs/math/hash/hash.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/arith.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/bits.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/fact.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/gcd.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/inverse.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/lcm.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/logs.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/misc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/modpow.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/proof.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/roots.bend
bend-collections-laws-math@1.0.0.0/proofs/math/natural/sqrtn.bend
bend-collections-laws-math@1.0.0.0/proofs/math/number/bitcount.bend
bend-collections-laws-math@1.0.0.0/proofs/math/number/egcd.bend
bend-collections-laws-math@1.0.0.0/proofs/math/number/fixprime.bend
bend-collections-laws-math@1.0.0.0/proofs/math/number/prime.bend
bend-collections-laws-math@1.0.0.0/proofs/math/number/proof.bend
bend-collections-laws-math@1.0.0.0/proofs/math/pow2/pow2.bend
bend-collections-laws-math@1.0.0.0/proofs/math/proof.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/below.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/bits.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/bounded.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/block.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/rounds.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/seed.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/chacha8/stream.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/float.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/fround.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/lemire.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/pcg/impl.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/pcg/step.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/pcg/xor.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/proof.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/proof_draws.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/proof_float.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/proof_pcg.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/shuffle.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/uint64n.bend
bend-collections-laws-math@1.0.0.0/proofs/math/random/wrappers.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/bgcdnat.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/combnat.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/examples.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64adda.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addb.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64adde.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addf.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addg.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addh.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64adds.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addv.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64bits.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64bl.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64cmp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64conv.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divd.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divf.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divn.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divq.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divv.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divx.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64exp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64fmod.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64light.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mexp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64misc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64modf.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mul.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulf.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulv.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64norm.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64nrp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64ofnat.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64ratio.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64rint.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64round.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64rtools.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqa.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqc.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqf.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqk.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqn.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqr.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqs.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqv.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqw.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64sqx.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64tools.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix64.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbits.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixbytes.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/fixgen.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/float.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/montnat.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/natcmp.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/natfuel.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/natlight.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/shrn.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32laws.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32mont.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64bgcd.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64laws.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64mont.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64add.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64clz.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64div.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dm.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmrem.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64dmtop.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64est.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64isq.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64m128.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64mm.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64mmtop.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64mul.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64sh.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/w64sqrt.bend
bend-collections-laws-math@1.0.0.0/proofs/math/typed/width.bend
bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64.bend
bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64div.bend
bend-collections-laws-math@1.0.0.0/spec/lib/common.bend
bend-collections-laws-math@1.0.0.0/spec/lib/numeric.bend
bend-collections-laws-math@1.0.0.0/spec/math/f64.bend
bend-collections-laws-math@1.0.0.0/spec/math/fixed.bend
bend-collections-laws-math@1.0.0.0/spec/math/generic.bend
bend-collections-laws-math@1.0.0.0/spec/math/hash.bend
bend-collections-laws-math@1.0.0.0/spec/math/instances.bend
bend-collections-laws-math@1.0.0.0/spec/math/natural.bend
bend-collections-laws-math@1.0.0.0/spec/math/number.bend
bend-collections-laws-math@1.0.0.0/spec/math/pow2.bend
bend-collections-laws-math@1.0.0.0/spec/math/random/chacha8rand.bend
bend-collections-laws-math@1.0.0.0/spec/math/random/pcg.bend
bend-collections-laws-math@1.0.0.0/spec/math/random/rand.bend
bend-collections-laws-math@1.0.0.0/spec/math/random/source.bend
bend-collections-laws-math@1.0.0.0/spec/math/random.bend
bend-collections-laws-math@1.0.0.0/spec/math/u64.bend
bend-collections-laws-math@1.0.0.0/spec/math/w64.bend
bend-collections-laws-math@1.0.0.0/src/containers/deque.bend
bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend
bend-collections-laws-math@1.0.0.0/src/containers/types/deque.bend
bend-collections-laws-math@1.0.0.0/src/math/f64.bend
bend-collections-laws-math@1.0.0.0/src/math/fixed.bend
bend-collections-laws-math@1.0.0.0/src/math/generic.bend
bend-collections-laws-math@1.0.0.0/src/math/hash.bend
bend-collections-laws-math@1.0.0.0/src/math/instances.bend
bend-collections-laws-math@1.0.0.0/src/math/natural.bend
bend-collections-laws-math@1.0.0.0/src/math/num.bend
bend-collections-laws-math@1.0.0.0/src/math/number.bend
bend-collections-laws-math@1.0.0.0/src/math/pow2.bend
bend-collections-laws-math@1.0.0.0/src/math/random/chacha8/block.bend
bend-collections-laws-math@1.0.0.0/src/math/random/chacha8.bend
bend-collections-laws-math@1.0.0.0/src/math/random/pcg.bend
bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend
bend-collections-laws-math@1.0.0.0/src/math/u64.bend
bend-collections-laws-math@1.0.0.0/src/math/w64.bend