bend-kit-lemmas
Proved laws that relate Word and U32 arithmetic to Nat. Source: https://github.com/paymog/bend-kit/tree/main/lemmas
Owner: paymog
Versions
| Version | Hash | Status | Named on |
|---|---|---|---|
| 0.1.0.0 latest | 0xeaee3c88886bfae971db9dcf3cde0759 |
checks | 2026-10-09 |