Verified Bit Hacks

Formally verified low-level tricks and optimizations

Tag: integer

All proofs tagged integer.

Kernighan’s Bitcount — Count set bits by clearing the lowest 1-bit.

Hosted on GitHub Pages — Theme by orderedlist