---
layout: default
---
<link rel="stylesheet" href="assets/main.css">

## Dafny Documentation snapshots

- [Current development version](https://dafny.org/dafny)
- [Latest release snapshot](https://dafny.org/latest)
- [v4.9.1](https://dafny.org/v4.9.1)
- [v4.8.1](https://dafny.org/v4.8.1)
- [v4.6.0](https://dafny.org/v4.6.0)
- [v4.5.0](https://dafny.org/v4.5.0)
- [v4.4.0](https://dafny.org/v4.4.0)
- [v4.3.0](https://dafny.org/v4.3.0)
- [v4.2.0](https://dafny.org/v4.2.0)
- [v4.1.0](https://dafny.org/v4.1.0)
- [v4.0.0](https://dafny.org/v4.0.0)
- [v3.12.0](https://dafny.org/v3.12.0)
- [v3.11.0](https://dafny.org/v3.11.0)
- [v3.10.0](https://dafny.org/v3.10.0)
- [v3.9.1](https://dafny.org/v3.9.1)
- [v3.9.0](https://dafny.org/v3.9.0)
