lawful-words
A Bend 2 law and proof library relating U32 operations to natural-number arithmetic. It covers wrapping arithmetic, comparisons, shifts, masks and packed-byte helpers, providing a foundation for reasoning about word-based data.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/lawful-words ↗GitHubhttps://github.com/luiscleto/lawful-words/blob/main/README.md ↗GitHubhttps://github.com/luiscleto/lawful-words/blob/main/LAWS.bend ↗