~/bend-docscommunity

0x64a14ed3 checks

0x64a14ed3ebe66ae2700afc3c3bafd113

no description

Anonymous package: import it by hash.

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

Import

import 0x64a14ed3ebe66ae2700afc3c3bafd113/LAWS.bend as LAWS
import 0x64a14ed3ebe66ae2700afc3c3bafd113/PROOF.bend as PROOF
import 0x64a14ed3ebe66ae2700afc3c3bafd113/text.bend as Text
import 0x64a14ed3ebe66ae2700afc3c3bafd113/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.0 s