MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / Float128

Function Float128

lean_py/z3/core.py:3251–3252  ·  view source on GitHub ↗
(ctx: Context | None = None)

Source from the content-addressed store, hash-verified

3249
3250
3251def Float128(ctx: Context | None = None) -> FPSortRef:
3252 return FPSort(15, 113)
3253
3254
3255def FP(name: str, fpsort: FPSortRef, ctx: Context | None = None) -> FPRef:

Callers 1

test_float128Method · 0.90

Calls 1

FPSortFunction · 0.85

Tested by 1

test_float128Method · 0.72