bend-kit-f64@0.1.0.0 checks
0x737bc789819508f0aebd4ad15d19e26f
IEEE 754 binary64 add, sub, mul, and div. Source: https://github.com/paymog/bend-kit/tree/main/f64
bend-kit-f64@0.1.0.0 by paymog
- Published
- 2026-10-07
- Size
- 32,776 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 202 defs, 8 types
Import
import bend-kit-f64@0.1.0.0/f64.bend as F64 import 0x737bc789819508f0aebd4ad15d19e26f/f64.bend as F64
Modules
- f64.bend 220 declarations — IEEE 754 binary64 add, sub, mul, and div. Source: https://github.com/paymog/bend-kit/tree/main/f64
Dependencies
No imports from other hub packages.
Dependents
- bend-kit-protobuf@0.1.0.0 via
protobuf.bend: import bend-kit-f64@0.1.0.0/f64.bend as F
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| f64.bend | checks | ALL PROOFS CHECK | 0.7 s |