Lean

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

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