bend-ml-bpe-tokenizer@0.1.1.0 checks
0xbce52aed55d81f3c75dfd6518c9bcbdd
bend-ml-bpe-tokenizer: BPE byte-level com roundtrip provado.
bend-ml-bpe-tokenizer@0.1.1.0 by nuxyel
Other versions (2)
- bend-ml-bpe-tokenizer@0.1.2.0 2026-10-04 latest
- bend-ml-bpe-tokenizer@0.1.0.0 2026-10-04
- Published
- 2026-10-04
- Size
- 30,574 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 5 laws (5 proved), 64 defs, 3 types
Import
import bend-ml-bpe-tokenizer@0.1.1.0/main.bend as Main import 0xbce52aed55d81f3c75dfd6518c9bcbdd/main.bend as Main
Modules
- main.bend 76 declarations, 5 laws — bend-ml-bpe-tokenizer: BPE byte-level com roundtrip provado.
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
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 0.8 s |