Using LLMs to Help Develop Verus Projects

Large language models (LLMs) have shown an impressive ability to help develop Verus proofs and specifications. This chapter shares best practices for using LLMs effectively to assist your Verus project development. We expect the content of this chapter to change more frequently than the other chapters in this tutorial, as the field of AI continues to advance in new and unexpected directions.