diff --git a/docs/Installation.md b/docs/Installation.md
index a52b2d47d4..e46be29151 100644
--- a/docs/Installation.md
+++ b/docs/Installation.md
@@ -55,7 +55,6 @@ and any user code in one project.
 
 - Dafny targeting Javascript produces Javascript source consistent with Node.js v 16.0.0
 
-
 ### Python
 
 - Dafny targeting Python produces targets Python 3.7 source.
@@ -67,6 +66,10 @@ with the user's choice of python tool (that compiles at least 3.7).
 
 - Dafny targeting Go produces Go source content consistent with Go 1.18.
 
+### Rust
+
+- Partial and growing support
+
 ### C++
 
 C++ has only rudimentary special purpose support at present.
@@ -237,3 +240,8 @@ To setup Dafny to compile to python3:
 To separately compile and run your program for Python:
 - `dafny build -t:py MyProgram.dfy`
 - `python3 MyProgram-py/MyProgram.py
+
+### Rust
+
+To setup Dafny to compile to Rust:
+* Install Rust from stup https://rustup.rs/