Induction as a formal program verification technique for the uninitiated, written in Rust. - View it on GitHub