Project Setup and Development #

This chapter offers advice on verifying and building your project with cargo verus, documenting your verified code with Rustdoc, and dealing with potential compile errors when compiling Verus-verified code with normal Rust tools.