Verifying the Rust standard library with Creusot

Source code. This website is built using Zola with a theme based on Academic Paper.