Posts

subscribe via RSS

It's hard to give a blog description if you only have a single post.

A Formal Verification of Rust's Binary Search Implementation