bend-mathlib@0.2.0.0 checks

0x3b339f308342d91e7e6c71e057d59f1b

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

bend-mathlib@0.2.0.0 by MuhDur

Published

2026-09-25

Size

109,608 bytes, 6 files

License

Apache-2.0 (LICENSE)

Declarations

276 laws (276 proved), 17 defs, 0 types

Import

import bend-mathlib@0.2.0.0/all.bend as All
import 0x3b339f308342d91e7e6c71e057d59f1b/all.bend as All
import bend-mathlib@0.2.0.0/bool.bend as MBool
import 0x3b339f308342d91e7e6c71e057d59f1b/bool.bend as MBool
import bend-mathlib@0.2.0.0/equal.bend as MEqual
import 0x3b339f308342d91e7e6c71e057d59f1b/equal.bend as MEqual
import bend-mathlib@0.2.0.0/list.bend as MList
import 0x3b339f308342d91e7e6c71e057d59f1b/list.bend as MList
import bend-mathlib@0.2.0.0/nat.bend as MNat
import 0x3b339f308342d91e7e6c71e057d59f1b/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.2.0.0/nat.bend.
• bool.bend 60 declarations, 59 laws — bend-mathlib/bool.bend: Bool algebra (not, and, or, xor).
• equal.bend 4 declarations, 4 laws — bend-mathlib/equal.bend: equality lemmas (congruence, substitution, chains).
• list.bend 86 declarations, 78 laws — bend-mathlib/list.bend: List lemmas (append, reverse, length, take, drop, map, fold, filter).
• nat.bend 143 declarations, 135 laws — bend-mathlib/nat.bend: Nat arithmetic (add, mul, sub, min, max, pow) and order (le, lt, ge, gt).

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