0x1ee1b5d0 checks

0x1ee1b5d0c2a66817bf368b849f3117fc

Nat.add — the laws of Base's Nat.add, as a callable lemma set.

Anonymous package: import it by hash.

Published

2026-09-19

Size

2,381 bytes, 1 files

License

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

Declarations

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

Import

import 0x1ee1b5d0c2a66817bf368b849f3117fc/nat.bend as MNat

Modules

• nat.bend 6 declarations — Nat.add — the laws of Base's Nat.add, as a callable lemma set.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36