~/bend-docscommunity

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

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
f64.bendchecks ALL PROOFS CHECK0.7 s