0x53dde92d checks

0x53dde92df75268075f1bc6c33ecbb079

bend-ml: machine learning in Bend 2. Parallel linear regression, batches, statistics, and metrics.

Anonymous package: import it by hash.

Published

2026-09-18

Size

11,403 bytes, 8 files

License

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

Declarations

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

Import

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

Modules

• LAWS.bend 2 declarations, 2 laws — bend-ml: machine learning in Bend 2. Parallel linear regression, batches, statistics, and metrics.
• 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.