bend-ml-autograd@0.1.1.0 checks

0x0ed882696c6c048c64c66242a999a426

bend-ml-autograd: automatic differentiation with a proved law.

bend-ml-autograd@0.1.1.0 by nuxyel

Published

2026-10-04

Size

13,893 bytes, 2 files

License

MIT (LICENSE)

Declarations

1 laws (1 proved), 30 defs, 2 types

Import

import bend-ml-autograd@0.1.1.0/main.bend as Main
import 0x0ed882696c6c048c64c66242a999a426/main.bend as Main

Modules

• main.bend 44 declarations, 1 laws — bend-ml-autograd: automatic differentiation with a proved law.

Other files

• LICENSE 1,072 bytes

Dependencies

• bend-ml-nat-lemmas@0.1.0.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-tensor@0.1.0.0 via main.bend: import bend-ml-tensor@0.1.0.0/main.bend as T

Dependents

No package in this build imports it.

Status on bend 2.0.36