Introduction

This is the user guide for Prusti - a Rust verifier built upon the the Viper verification infrastructure.