bend-mathlib@0.1.0.1 checks

0xafc61ca8b7738a6df7f28eddf80168f8

bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, equality); import one module, e.g. bend-mathlib@0.1.0.1/nat.bend.

bend-mathlib@0.1.0.1 by MuhDur

Published

2026-09-24

Size

54,176 bytes, 6 files

License

Apache-2.0 (LICENSE)

Declarations

119 laws (119 proved), 13 defs, 0 types

Import

import bend-mathlib@0.1.0.1/all.bend as All
import 0xafc61ca8b7738a6df7f28eddf80168f8/all.bend as All
import bend-mathlib@0.1.0.1/bool.bend as MBool
import 0xafc61ca8b7738a6df7f28eddf80168f8/bool.bend as MBool
import bend-mathlib@0.1.0.1/equal.bend as MEqual
import 0xafc61ca8b7738a6df7f28eddf80168f8/equal.bend as MEqual
import bend-mathlib@0.1.0.1/list.bend as MList
import 0xafc61ca8b7738a6df7f28eddf80168f8/list.bend as MList
import bend-mathlib@0.1.0.1/nat.bend as MNat
import 0xafc61ca8b7738a6df7f28eddf80168f8/nat.bend as MNat

Modules

• all.bend 0 declarations — bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, equality); import one module, e.g. bend-mathlib@0.1.0.1/nat.bend.
• bool.bend 32 declarations, 31 laws
• equal.bend 4 declarations, 4 laws
• list.bend 30 declarations, 26 laws
• nat.bend 66 declarations, 58 laws

Other files

• LICENSE 11,381 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36