diff --git a/bash/.profile b/bash/.profile
index 128c4cf..957010f 100644
--- a/bash/.profile
+++ b/bash/.profile
@@ -26,3 +26,8 @@ if [ -d "$HOME/.local/bin" ] ; then
     PATH="$HOME/.local/bin:$PATH"
 fi
 . "$HOME/.cargo/env"
+
+# set path so it includes elan if it exists
+if [ -d "$HOME/.elan/bin" ]; then
+    PATH="$HOME/.elan/bin:$PATH"
+fi
diff --git a/fedora_bootstrap.sh b/fedora_bootstrap.sh
index 044a055..027457a 100644
--- a/fedora_bootstrap.sh
+++ b/fedora_bootstrap.sh
@@ -20,6 +20,10 @@ cd tla-bin
 ./download_or_update_tla.sh
 sudo ./install.sh /usr/local
 
+# Install rust
 curl https://sh.rustup.rs -sSf | sh
 
 gem install tmuxinator
+
+# Lean version manager
+curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh