0xcea4c3f8 checks

0xcea4c3f899099eb5eb7e6595eaa9971a

Nat.add — the first two lemmas: a + 0 == a, and (a + b) + c == a + (b + c).

Anonymous package: import it by hash.

Published

2026-09-19

Size

938 bytes, 1 files

License

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

Declarations

0 laws (0 proved), 2 defs, 0 types

Import

import 0xcea4c3f899099eb5eb7e6595eaa9971a/nat.bend as MNat

Modules

• nat.bend 2 declarations — Nat.add — the first two lemmas: a + 0 == a, and (a + b) + c == a + (b + c).

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36