Tutorial

This tutorial is a guide for formally verifying properties about Rust programs using the hax toolchain. It focuses on proving properties with F*.