0x014d1ec5 checks

0x014d1ec5074b05cc46cbfd40d4033fe1

no description

Anonymous package: import it by hash.

Earlier versions (2)

0x64a14ed3 2026-09-19
0xce176165 2026-09-19

Published: 2026-09-19
Size: 44,428 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 16 laws (16 proved), 125 defs, 11 types

Import

import 0x014d1ec5074b05cc46cbfd40d4033fe1/LAWS.bend as LAWS
import 0x014d1ec5074b05cc46cbfd40d4033fe1/PROOF.bend as PROOF
import 0x014d1ec5074b05cc46cbfd40d4033fe1/text.bend as Text
import 0x014d1ec5074b05cc46cbfd40d4033fe1/zhao.bend as Zhao

Modules

LAWS.bend 16 declarations, 16 laws
PROOF.bend 0 declarations
text.bend 18 declarations
zhao.bend 140 declarations — MIT License

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
LAWS.bend	open laws/TODOs	16 TODOs found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. output SOME PROOFS FAIL Error: 16 TODOs found. The code is incomplete, and not a valid proof yet.	1.0 s
PROOF.bend	checks	ALL PROOFS CHECK	2.2 s
text.bend	checks	ALL PROOFS CHECK	0.8 s
zhao.bend	checks	ALL PROOFS CHECK	1.1 s