bend-ml-nat-lemmas@0.1.0.0 checks

0xa7aa06c09e97c6747c12cc64bb5203d9

bend-ml-nat-lemmas: lemas provados de Nat e List que a Base do Bend não tem.

bend-ml-nat-lemmas@0.1.0.0 by nuxyel

Published

2026-10-03

Size

8,285 bytes, 2 files

License

MIT (LICENSE)

Declarations

15 laws (15 proved), 2 defs, 0 types

Import

import bend-ml-nat-lemmas@0.1.0.0/main.bend as Main
import 0xa7aa06c09e97c6747c12cc64bb5203d9/main.bend as Main

Modules

• main.bend 17 declarations, 15 laws — bend-ml-nat-lemmas: lemas provados de Nat e List que a Base do Bend não tem.

Other files

• LICENSE 1,102 bytes

Dependencies

No imports from other hub packages.

Dependents

• bend-ml-autograd@0.1.1.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-tensor@0.1.2.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-bpe-tokenizer@0.1.2.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-bpe-tokenizer@0.1.1.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-tensor@0.1.1.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-autograd@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-nat-lemmas@0.1.0.0/main.bend as NL
• bend-ml-bpe-tokenizer@0.1.0.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL

Status on bend 2.0.36