bend-collections-laws-math@1.0.0.0

0xf86f5f1d9a594d5a5cff999100e01d03

Files (221)

laws_math.bend
proofs/lib/arith.bend22 definitions
proofs/lib/lemmas/proofs/addition.bend9 definitions
proofs/lib/lemmas/proofs/addition_bounds.bend3 definitions
proofs/lib/lemmas/proofs/counter.bend4 definitions
proofs/lib/lemmas/proofs/division_bounds.bend5 definitions
proofs/lib/lemmas/proofs/division_candidate.bend5 definitions
proofs/lib/lemmas/proofs/division_candidate_bound.bend4 definitions
proofs/lib/lemmas/proofs/division_invariant.bend6 definitions
proofs/lib/lemmas/proofs/division_no_overflow.bend11 definitions
proofs/lib/lemmas/proofs/division_quotient.bend12 definitions
proofs/lib/lemmas/proofs/division_remainder.bend4 definitions
proofs/lib/lemmas/proofs/division_shift.bend7 definitions
proofs/lib/lemmas/proofs/division_value.bend10 definitions
proofs/lib/lemmas/proofs/invariants.bend17 definitions
proofs/lib/lemmas/proofs/map_bridge.bend26 definitions
proofs/lib/lemmas/proofs/map_difference_order.bend10 definitions
proofs/lib/lemmas/proofs/map_index.bend9 definitions
proofs/lib/lemmas/proofs/map_insert.bend35 definitions
proofs/lib/lemmas/proofs/map_lookup.bend13 definitions
proofs/lib/lemmas/proofs/map_routing.bend18 definitions
proofs/lib/lemmas/proofs/modular_addition.bend13 definitions
proofs/lib/lemmas/proofs/modular_negation.bend6 definitions
proofs/lib/lemmas/proofs/nat_algebra.bend16 definitions
proofs/lib/lemmas/proofs/native_map.bend49 definitions
proofs/lib/lemmas/proofs/natural_division.bend6 definitions
proofs/lib/lemmas/proofs/natural_products.bend8 definitions
proofs/lib/lemmas/proofs/negation_magnitude.bend5 definitions
proofs/lib/lemmas/proofs/numeric.bend24 definitions
proofs/lib/lemmas/proofs/string_compare.bend21 definitions
proofs/lib/lemmas/proofs/subtraction_bounds.bend7 definitions
proofs/lib/lemmas/proofs/word_addition.bend3 definitions
proofs/lib/lemmas/proofs/word_bounds.bend2 definitions
proofs/lib/lemmas/proofs/word_comparison.bend5 definitions
proofs/lib/lemmas/proofs/word_multiplication.bend9 definitions
proofs/lib/lemmas/proofs/word_shift.bend6 definitions
proofs/lib/lemmas/proofs/word_subtraction.bend5 definitions
proofs/lib/lemmas/proofs/word_value.bend19 definitions
proofs/lib/lemmas/spec/numeric.bend17 definitions
proofs/lib/lemmas/spec/unsigned_division.bend1 definition
proofs/lib/lemmas/src/cache.bend58 definitions
proofs/lib/lemmas/src/time.bend8 definitions
proofs/lib/lemmas/src/wide.bend25 definitions
proofs/lib/lemmas/types/model.bend6 definitions
proofs/lib/list.bend46 definitions
proofs/lib/logic.bend24 definitions
proofs/lib/nat.bend75 definitions
proofs/lib/two_list.bend7 definitions
proofs/lib/u32.bend43 definitions
proofs/lib/u32alg.bend36 definitions
proofs/lib/u32div.bend28 definitions
proofs/lib/u32half.bend15 definitions
proofs/lib/word.bend41 definitions
proofs/lib/words32.bend13 definitions
proofs/math/hash/hash.bend8 definitions
proofs/math/natural/arith.bend23 definitions
proofs/math/natural/bits.bend14 definitions
proofs/math/natural/fact.bend28 definitions
proofs/math/natural/gcd.bend17 definitions
proofs/math/natural/inverse.bend25 definitions
proofs/math/natural/lcm.bend22 definitions
proofs/math/natural/lists.bend24 definitions
proofs/math/natural/logs.bend17 definitions
proofs/math/natural/misc.bend14 definitions
proofs/math/natural/modpow.bend8 definitions
proofs/math/natural/proof.bend54 definitions
proofs/math/natural/roots.bend29 definitions
proofs/math/natural/sqrtn.bend13 definitions
proofs/math/number/bitcount.bend4 definitions
proofs/math/number/egcd.bend13 definitions
proofs/math/number/fixprime.bend23 definitions
proofs/math/number/prime.bend22 definitions
proofs/math/number/proof.bend77 definitions
proofs/math/pow2/pow2.bend2 definitions
proofs/math/proof.bend13 definitions
proofs/math/random/below.bend15 definitions
proofs/math/random/bits.bend9 definitions
proofs/math/random/bounded.bend3 definitions
proofs/math/random/chacha8/block.bend5 definitions
proofs/math/random/chacha8/rounds.bend6 definitions
proofs/math/random/chacha8/seed.bend4 definitions
proofs/math/random/chacha8/stream.bend7 definitions
proofs/math/random/float.bend48 definitions
proofs/math/random/fround.bend44 definitions
proofs/math/random/lemire.bend57 definitions
proofs/math/random/pcg/impl.bend8 definitions
proofs/math/random/pcg/step.bend12 definitions
proofs/math/random/pcg/xor.bend9 definitions
proofs/math/random/proof.bend5 definitions
proofs/math/random/proof_draws.bend8 definitions
proofs/math/random/proof_float.bend2 definitions
proofs/math/random/proof_pcg.bend12 definitions
proofs/math/random/shuffle.bend18 definitions
proofs/math/random/uint64n.bend41 definitions
proofs/math/random/wrappers.bend32 definitions
proofs/math/typed/bgcdnat.bend78 definitions
proofs/math/typed/combnat.bend26 definitions
proofs/math/typed/examples.bend56 definitions
proofs/math/typed/f64adda.bend15 definitions
proofs/math/typed/f64addb.bend9 definitions
proofs/math/typed/f64addc.bend14 definitions
proofs/math/typed/f64adde.bend3 definitions
proofs/math/typed/f64addf.bend24 definitions
proofs/math/typed/f64addg.bend21 definitions
proofs/math/typed/f64addh.bend4 definitions
proofs/math/typed/f64addp.bend9 definitions
proofs/math/typed/f64adds.bend9 definitions
proofs/math/typed/f64addv.bend14 definitions
proofs/math/typed/f64bits.bend45 definitions
proofs/math/typed/f64bl.bend9 definitions
proofs/math/typed/f64close.bend14 definitions
proofs/math/typed/f64cmp.bend39 definitions
proofs/math/typed/f64conv.bend30 definitions
proofs/math/typed/f64divc.bend27 definitions
proofs/math/typed/f64divd.bend5 definitions
proofs/math/typed/f64divf.bend8 definitions
proofs/math/typed/f64divn.bend22 definitions
proofs/math/typed/f64divq.bend10 definitions
proofs/math/typed/f64divv.bend15 definitions
proofs/math/typed/f64divx.bend2 definitions
proofs/math/typed/f64exp.bend23 definitions
proofs/math/typed/f64fmod.bend81 definitions
proofs/math/typed/f64light.bend21 definitions
proofs/math/typed/f64mexp.bend11 definitions
proofs/math/typed/f64misc.bend11 definitions
proofs/math/typed/f64modf.bend8 definitions
proofs/math/typed/f64mul.bend6 definitions
proofs/math/typed/f64mulc.bend14 definitions
proofs/math/typed/f64mulf.bend8 definitions
proofs/math/typed/f64mulp.bend9 definitions
proofs/math/typed/f64mulv.bend6 definitions
proofs/math/typed/f64next.bend42 definitions
proofs/math/typed/f64norm.bend14 definitions
proofs/math/typed/f64nrp.bend13 definitions
proofs/math/typed/f64ofnat.bend7 definitions
proofs/math/typed/f64ratio.bend13 definitions
proofs/math/typed/f64rint.bend27 definitions
proofs/math/typed/f64round.bend105 definitions
proofs/math/typed/f64rtools.bend22 definitions
proofs/math/typed/f64sqa.bend27 definitions
proofs/math/typed/f64sqc.bend31 definitions
proofs/math/typed/f64sqf.bend3 definitions
proofs/math/typed/f64sqk.bend8 definitions
proofs/math/typed/f64sqn.bend9 definitions
proofs/math/typed/f64sqr.bend54 definitions
proofs/math/typed/f64sqs.bend9 definitions
proofs/math/typed/f64sqv.bend39 definitions
proofs/math/typed/f64sqw.bend3 definitions
proofs/math/typed/f64sqx.bend1 definition
proofs/math/typed/f64tools.bend28 definitions
proofs/math/typed/fix32.bend63 definitions
proofs/math/typed/fix64.bend61 definitions
proofs/math/typed/fixbits.bend11 definitions
proofs/math/typed/fixbytes.bend60 definitions
proofs/math/typed/fixgen.bend16 definitions
proofs/math/typed/float.bend41 definitions
proofs/math/typed/montnat.bend11 definitions
proofs/math/typed/natcmp.bend21 definitions
proofs/math/typed/natfuel.bend68 definitions
proofs/math/typed/natlight.bend5 definitions
proofs/math/typed/shrn.bend12 definitions
proofs/math/typed/u32.bend23 definitions
proofs/math/typed/u32int.bend147 definitions
proofs/math/typed/u32laws.bend45 definitions
proofs/math/typed/u32mont.bend35 definitions
proofs/math/typed/u64bgcd.bend40 definitions
proofs/math/typed/u64int.bend147 definitions
proofs/math/typed/u64laws.bend26 definitions
proofs/math/typed/u64mont.bend51 definitions
proofs/math/typed/w64add.bend51 definitions
proofs/math/typed/w64clz.bend34 definitions
proofs/math/typed/w64div.bend26 definitions
proofs/math/typed/w64dm.bend30 definitions
proofs/math/typed/w64dmrem.bend10 definitions
proofs/math/typed/w64dmtop.bend8 definitions
proofs/math/typed/w64est.bend26 definitions
proofs/math/typed/w64isq.bend21 definitions
proofs/math/typed/w64m128.bend16 definitions
proofs/math/typed/w64mm.bend11 definitions
proofs/math/typed/w64mmtop.bend8 definitions
proofs/math/typed/w64mul.bend42 definitions
proofs/math/typed/w64sh.bend47 definitions
proofs/math/typed/w64sqrt.bend36 definitions
proofs/math/typed/width.bend60 definitions
proofs/math/u64/u64.bend31 definitions
proofs/math/u64/u64div.bend39 definitions
spec/lib/common.bend21 definitions
spec/lib/numeric.bend15 definitions
spec/math/f64.bend124 definitions
spec/math/fixed.bend50 definitions
spec/math/generic.bend50 definitions
spec/math/hash.bend2 definitions
spec/math/instances.bend17 definitions
spec/math/natural.bend58 definitions
spec/math/number.bend10 definitions
spec/math/pow2.bend1 definition
spec/math/random.bend23 definitions
spec/math/random/chacha8rand.bend32 definitions
spec/math/random/pcg.bend6 definitions
spec/math/random/rand.bend12 definitions
spec/math/random/source.bend3 definitions
spec/math/u64.bend9 definitions
spec/math/w64.bend27 definitions
src/containers/deque.bend31 definitions
src/containers/hash_table.bend103 definitions
src/containers/types/deque.bend3 definitions
src/math/f64.bend221 definitions
src/math/fixed.bend84 definitions
src/math/generic.bend97 definitions
src/math/hash.bend4 definitions
src/math/instances.bend11 definitions
src/math/natural.bend47 definitions
src/math/num.bend3 definitions
src/math/number.bend8 definitions
src/math/pow2.bend2 definitions
src/math/random/chacha8.bend15 definitions
src/math/random/chacha8/block.bend8 definitions
src/math/random/pcg.bend16 definitions
src/math/random/rand.bend52 definitions
src/math/u64.bend18 definitions
src/math/w64.bend131 definitions