0x4c3090ea checks

0x4c3090ea8722081700f9d99ea7503e43

no description

Anonymous package: import it by hash.

Published

2026-10-03

Size

62,680 bytes, 10 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

82 laws (82 proved), 127 defs, 3 types

Import

import 0x4c3090ea8722081700f9d99ea7503e43/bits.bend as Bits
import 0x4c3090ea8722081700f9d99ea7503e43/logic.bend as Logic
import 0x4c3090ea8722081700f9d99ea7503e43/math.bend as Math
import 0x4c3090ea8722081700f9d99ea7503e43/mathlib.bend as Mathlib
import 0x4c3090ea8722081700f9d99ea7503e43/mlib_linalg.bend as Mlib_linalg
import 0x4c3090ea8722081700f9d99ea7503e43/nat.bend as MNat
import 0x4c3090ea8722081700f9d99ea7503e43/num.bend as Num
import 0x4c3090ea8722081700f9d99ea7503e43/rat.bend as Rat
import 0x4c3090ea8722081700f9d99ea7503e43/series.bend as Series
import 0x4c3090ea8722081700f9d99ea7503e43/set.bend as MSet

Modules

• bits.bend 24 declarations, 2 laws
• logic.bend 24 declarations, 19 laws
• math.bend 32 declarations, 7 laws
• mathlib.bend 20 declarations, 10 laws
• mlib_linalg.bend 22 declarations, 7 laws
• nat.bend 15 declarations, 15 laws
• num.bend 25 declarations, 5 laws
• rat.bend 16 declarations, 5 laws
• series.bend 14 declarations, 8 laws
• set.bend 23 declarations, 4 laws

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36