0xf5507d46 checks

0xf5507d46d06a1a8043dcb1a582194615

no description

Anonymous package: import it by hash.

Published

2026-09-26

Size

17,097 bytes, 12 files

License

MIT-0 (LICENSE)

Declarations

8 laws (8 proved), 72 defs, 6 types

Import

import 0xf5507d46d06a1a8043dcb1a582194615/LAWS.bend as LAWS
import 0xf5507d46d06a1a8043dcb1a582194615/PROOF.bend as PROOF
import 0xf5507d46d06a1a8043dcb1a582194615/benchmark.bend as Benchmark
import 0xf5507d46d06a1a8043dcb1a582194615/cases.bend as Cases
import 0xf5507d46d06a1a8043dcb1a582194615/conformance.bend as Conformance
import 0xf5507d46d06a1a8043dcb1a582194615/example.bend as Example
import 0xf5507d46d06a1a8043dcb1a582194615/main.bend as Main
import 0xf5507d46d06a1a8043dcb1a582194615/model.bend as Model
import 0xf5507d46d06a1a8043dcb1a582194615/observe.bend as Observe
import 0xf5507d46d06a1a8043dcb1a582194615/protocol.bend as Protocol
import 0xf5507d46d06a1a8043dcb1a582194615/release.bend as Release

Modules

• LAWS.bend 8 declarations, 8 laws
• PROOF.bend 1 declarations
• benchmark.bend 12 declarations
• cases.bend 9 declarations
• conformance.bend 1 declarations
• example.bend 3 declarations
• main.bend 18 declarations
• model.bend 14 declarations
• observe.bend 16 declarations
• protocol.bend 19 declarations
• release.bend 1 declarations

Other files

• LICENSE 936 bytes

Dependencies

• 0xd684886d via main.bend: import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V

Dependents

No package in this build imports it.

Status on bend 2.0.36

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