0xd29b5061 checks
0xd29b5061c68e1be166e0476f4daf7ff8
no description
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 2,490 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 0 defs, 4 types
Import
import 0xd29b5061c68e1be166e0476f4daf7ff8/n.bend as N
Modules
- n.bend 11 declarations
Other files
- LICENSE 1,118 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 |
|---|---|---|---|
| n.bend | checks | ALL PROOFS CHECK | 0.9 s |