Introduction

This is the user guide for Prusti - a Rust verifier built upon the the Viper verification infrastructure. This guide replaces the wiki-based tutorial from the GitHub repository.