Formal verification of the pure-arithmetic kernel of [zooko/smalloc](https://github.com/zooko/smalloc) (`src/lib.rs`) - View it on GitHub