0x7e29b722 checks

0x7e29b7224f420229b0320d908dff8769

no description

Anonymous package: import it by hash.

Published

2026-09-18

Size

11,263 bytes, 8 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

2 laws (2 proved), 26 defs, 7 types

Import

import 0x7e29b7224f420229b0320d908dff8769/LAWS.bend as LAWS
import 0x7e29b7224f420229b0320d908dff8769/PROOF.bend as PROOF
import 0x7e29b7224f420229b0320d908dff8769/bend_ml.bend as Bend_ml
import 0x7e29b7224f420229b0320d908dff8769/src/batch.bend as Batch
import 0x7e29b7224f420229b0320d908dff8769/src/linear_regression.bend as Linear_regression
import 0x7e29b7224f420229b0320d908dff8769/src/metrics.bend as Metrics
import 0x7e29b7224f420229b0320d908dff8769/src/numeric.bend as Numeric
import 0x7e29b7224f420229b0320d908dff8769/src/stats.bend as Stats

Modules

• LAWS.bend 2 declarations, 2 laws
• PROOF.bend 0 declarations
• bend_ml.bend 0 declarations — bend-ml: machine learning in Bend 2. Parallel linear regression, batches,
• src/batch.bend 10 declarations
• src/linear_regression.bend 16 declarations
• src/metrics.bend 9 declarations
• src/numeric.bend 3 declarations
• src/stats.bend 8 declarations

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