layout default Dafny Documentation snapshots Current development version Latest release snapshot v4.8.1 v4.6.0 v4.5.0 v4.4.0 v4.3.0 v4.2.0 v4.1.0 v4.0.0 v3.12.0 v3.11.0 v3.10.0 v3.9.1 v3.9.0