Verified Bit Hacks

Formally verified low-level tricks and optimizations

Search

Hosted on GitHub Pages — Theme by orderedlist