0xc409b77d checks

0xc409b77d3230ca33374caf6b0993f0cb

no description

Anonymous package: import it by hash.

Published

2026-09-26

Size

24,169 bytes, 12 files

License

MIT-0 (LICENSE)

Declarations

27 laws (27 proved), 51 defs, 4 types

Import

import 0xc409b77d3230ca33374caf6b0993f0cb/BYTE_LAWS.bend as BYTE_LAWS
import 0xc409b77d3230ca33374caf6b0993f0cb/BYTE_PROOF.bend as BYTE_PROOF
import 0xc409b77d3230ca33374caf6b0993f0cb/LAWS.bend as LAWS
import 0xc409b77d3230ca33374caf6b0993f0cb/PROOF.bend as PROOF
import 0xc409b77d3230ca33374caf6b0993f0cb/byte_model.bend as Byte_model
import 0xc409b77d3230ca33374caf6b0993f0cb/bytes.bend as Bytes
import 0xc409b77d3230ca33374caf6b0993f0cb/conformance.bend as Conformance
import 0xc409b77d3230ca33374caf6b0993f0cb/example.bend as Example
import 0xc409b77d3230ca33374caf6b0993f0cb/main.bend as Main
import 0xc409b77d3230ca33374caf6b0993f0cb/model.bend as Model
import 0xc409b77d3230ca33374caf6b0993f0cb/release.bend as Release

Modules

• BYTE_LAWS.bend 11 declarations, 11 laws
• BYTE_PROOF.bend 0 declarations
• LAWS.bend 16 declarations, 16 laws
• PROOF.bend 0 declarations
• byte_model.bend 4 declarations
• bytes.bend 22 declarations
• conformance.bend 21 declarations
• example.bend 2 declarations
• main.bend 11 declarations
• model.bend 3 declarations
• release.bend 1 declarations

Other files

• LICENSE 936 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 11 TODOs found.
The code is incomplete, and not a valid proof yet.

SOME PROOFS FAIL
Error: 16 TODOs found.
The code is incomplete, and not a valid proof yet.