0x99e32f5f checks

0x99e32f5f97dad3791a32b01d133555c5

SPDX-License-Identifier: MIT-0

Anonymous package: import it by hash.

Published

2026-09-26

Size

24,868 bytes, 9 files

License

MIT-0 (LICENSE)

Declarations

23 laws (23 proved), 56 defs, 3 types

Import

import 0x99e32f5f97dad3791a32b01d133555c5/LAWS.bend as LAWS
import 0x99e32f5f97dad3791a32b01d133555c5/PROOF.bend as PROOF
import 0x99e32f5f97dad3791a32b01d133555c5/conformance.bend as Conformance
import 0x99e32f5f97dad3791a32b01d133555c5/example.bend as Example
import 0x99e32f5f97dad3791a32b01d133555c5/fixtures.bend as Fixtures
import 0x99e32f5f97dad3791a32b01d133555c5/main.bend as Main
import 0x99e32f5f97dad3791a32b01d133555c5/model.bend as Model
import 0x99e32f5f97dad3791a32b01d133555c5/release.bend as Release

Modules

• LAWS.bend 24 declarations, 23 laws — SPDX-License-Identifier: MIT-0
• PROOF.bend 0 declarations — SPDX-License-Identifier: MIT-0
• conformance.bend 2 declarations — SPDX-License-Identifier: MIT-0
• example.bend 2 declarations — SPDX-License-Identifier: MIT-0
• fixtures.bend 26 declarations — SPDX-License-Identifier: MIT-0
• main.bend 23 declarations — SPDX-License-Identifier: MIT-0
• model.bend 10 declarations — SPDX-License-Identifier: MIT-0
• release.bend 1 declarations — SPDX-License-Identifier: MIT-0

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