0x88d5b48c checks

0x88d5b48c03f82f217d3a2aa0656744f4

no description

Anonymous package: import it by hash.

Published

2026-09-26

Size

40,740 bytes, 13 files

License

MIT-0 (LICENSE)

Declarations

32 laws (32 proved), 170 defs, 6 types

Import

import 0x88d5b48c03f82f217d3a2aa0656744f4/LAWS.bend as LAWS
import 0x88d5b48c03f82f217d3a2aa0656744f4/PROOF.bend as PROOF
import 0x88d5b48c03f82f217d3a2aa0656744f4/benchmark.bend as Benchmark
import 0x88d5b48c03f82f217d3a2aa0656744f4/conformance.bend as Conformance
import 0x88d5b48c03f82f217d3a2aa0656744f4/example.bend as Example
import 0x88d5b48c03f82f217d3a2aa0656744f4/main.bend as Main
import 0x88d5b48c03f82f217d3a2aa0656744f4/model.bend as Model
import 0x88d5b48c03f82f217d3a2aa0656744f4/observations.bend as Observations
import 0x88d5b48c03f82f217d3a2aa0656744f4/proof_observations.bend as Proof_observations
import 0x88d5b48c03f82f217d3a2aa0656744f4/release.bend as Release
import 0x88d5b48c03f82f217d3a2aa0656744f4/tests/invalid_scalars.bend as Invalid_scalars
import 0x88d5b48c03f82f217d3a2aa0656744f4/types.bend as Types

Modules

• LAWS.bend 32 declarations, 32 laws
• PROOF.bend 0 declarations
• benchmark.bend 8 declarations
• conformance.bend 11 declarations
• example.bend 4 declarations
• main.bend 68 declarations
• model.bend 11 declarations
• observations.bend 63 declarations
• proof_observations.bend 9 declarations
• release.bend 1 declarations
• tests/invalid_scalars.bend 1 declarations
• types.bend 13 declarations

Other files

• LICENSE 935 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: 32 TODOs found.
The code is incomplete, and not a valid proof yet.