0x738b3053 checks
0x738b30530890e825e0ab81092b94cbfc
bendcheck: property-based testing for Bend.
Anonymous package: import it by hash.
- Published
- 2026-09-26
- Size
- 15,117 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 58 defs, 5 types
Import
import 0x738b30530890e825e0ab81092b94cbfc/check.bend as Check
Modules
- check.bend 76 declarations — bendcheck: property-based testing for Bend.
Other files
- LICENSE 1,066 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 |
|---|---|---|---|
| check.bend | checks | ALL PROOFS CHECK | 0.7 s |