Verified Bit Hacks

Formally verified low-level tricks and optimizations

Tag: float

All proofs tagged float.

Fast Division — proof of faster division

Hosted on GitHub Pages — Theme by orderedlist