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.