bend-kit-lemmas@0.1.0.0 checks

0xeaee3c88886bfae971db9dcf3cde0759

Proved laws that relate Word and U32 arithmetic to Nat. Source: https://github.com/paymog/bend-kit/tree/main/lemmas

bend-kit-lemmas@0.1.0.0 by paymog

Published

2026-10-09

Size

26,433 bytes, 1 files

License

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

Declarations

39 laws (39 proved), 6 defs, 0 types

Import

import bend-kit-lemmas@0.1.0.0/lemmas.bend as Lemmas
import 0xeaee3c88886bfae971db9dcf3cde0759/lemmas.bend as Lemmas

Modules

• lemmas.bend 45 declarations, 39 laws — Proved laws that relate Word and U32 arithmetic to Nat. Source: https://github.com/paymog/bend-kit/tree/main/lemmas

Dependencies

• bend-mathlib@0.7.2.0 via lemmas.bend: import bend-mathlib@0.7.2.0/nat.bend as MNat

Dependents

No package in this build imports it.

Status on bend 2.0.36