---
layout: page
title: About
permalink: /about/
---

The Kani Rust Verifier ([Kani](https://github.com/model-checking/kani)) is an open-source automated reasoning
tool that proves properties about Rust code. This is our blog for
the project.

## Quick Links
- [Installation](https://model-checking.github.io/kani/install-guide.html)
- [Kani Tutorial](https://model-checking.github.io/kani/kani-tutorial.html#tutorial)