~/bend-docscommunity

0xce176165 checks

0xce17616509f7a12021b2ba6618bac110

no description

Anonymous package: import it by hash.

Other versions (2)
Published
2026-09-19
Size
41,785 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
11 laws (11 proved), 122 defs, 11 types

Import

import 0xce17616509f7a12021b2ba6618bac110/LAWS.bend as LAWS
import 0xce17616509f7a12021b2ba6618bac110/PROOF.bend as PROOF
import 0xce17616509f7a12021b2ba6618bac110/text.bend as Text
import 0xce17616509f7a12021b2ba6618bac110/zhao.bend as Zhao

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
LAWS.bendopen laws/TODOs 11 TODOs found.
Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks.
output
SOME PROOFS FAIL
Error: 11 TODOs found.
The code is incomplete, and not a valid proof yet.
0.9 s
PROOF.bendchecks ALL PROOFS CHECK1.9 s
text.bendchecks ALL PROOFS CHECK1.1 s
zhao.bendchecks ALL PROOFS CHECK1.1 s