0xd684886d checks

0xd684886d10b431b9dce6c3b2d1ef1980

no description

Anonymous package: import it by hash.

Published

2026-09-26

Size

32,241 bytes, 13 files

License

MIT-0 (LICENSE)

Declarations

25 laws (25 proved), 121 defs, 9 types

Import

import 0xd684886d10b431b9dce6c3b2d1ef1980/LAWS.bend as LAWS
import 0xd684886d10b431b9dce6c3b2d1ef1980/PROOF.bend as PROOF
import 0xd684886d10b431b9dce6c3b2d1ef1980/benchmark.bend as Benchmark
import 0xd684886d10b431b9dce6c3b2d1ef1980/conformance.bend as Conformance
import 0xd684886d10b431b9dce6c3b2d1ef1980/example.bend as Example
import 0xd684886d10b431b9dce6c3b2d1ef1980/generic.bend as Generic
import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as Main
import 0xd684886d10b431b9dce6c3b2d1ef1980/model.bend as Model
import 0xd684886d10b431b9dce6c3b2d1ef1980/observations.bend as Observations
import 0xd684886d10b431b9dce6c3b2d1ef1980/release.bend as Release
import 0xd684886d10b431b9dce6c3b2d1ef1980/trace.bend as Trace
import 0xd684886d10b431b9dce6c3b2d1ef1980/witnesses.bend as Witnesses

Modules

• LAWS.bend 25 declarations, 25 laws
• PROOF.bend 0 declarations
• benchmark.bend 16 declarations
• conformance.bend 13 declarations
• example.bend 3 declarations
• generic.bend 6 declarations
• main.bend 42 declarations
• model.bend 33 declarations
• observations.bend 14 declarations
• release.bend 1 declarations
• trace.bend 25 declarations
• witnesses.bend 1 declarations

Other files

• LICENSE 935 bytes

Dependencies

No imports from other hub packages.

Dependents

• 0xce7bfa94 via main.bend: import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V
• 0xf5507d46 via main.bend: import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V
• 0x88d5b48c via main.bend: import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V

Status on bend 2.0.36

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