Verified Bit Hacks

Formally verified low-level tricks and optimizations

Fast Division

proof of faster division

Source: float/FastDiv.v
Folders: float
Tags: float

Hosted on GitHub Pages — Theme by orderedlist