0x64aa7934 checks
0x64aa7934c3659ee6a818595494b38921
Fast CSV parser with proofs
Anonymous package: import it by hash.
- Published
- 2026-09-30
- Size
- 7,956 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 11 defs, 3 types
Import
import 0x64aa7934c3659ee6a818595494b38921/core.bend as Core
Modules
- core.bend 29 declarations — Fast CSV parser with proofs
Other files
- LICENSE 1,094 bytes
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| core.bend | checks | ALL PROOFS CHECK | 0.7 s |