0x6ab8d4bb checks

0x6ab8d4bb6183370cf3b7d5d7fda20aff

Adding zero changes nothing: one proof, published to test the hub

Anonymous package: import it by hash.

Published

2026-09-21

Size

272 bytes, 1 files

License

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

Declarations

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

Import

import 0x6ab8d4bb6183370cf3b7d5d7fda20aff/add_zero.bend as Add_zero

Modules

• add_zero.bend 1 declarations, 1 laws — Adding zero changes nothing: one proof, published to test the hub

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36