Trying Lean4 install

Author: jtristan

scripts/prep.sh

@@ -10,6 +10,7 @@ set -o pipefail
 curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
 ./elan-init -y --default-toolchain leanprover/lean4:v4.7.0
 ls $HOME/.elan/bin/lake
+ls 
 $HOME/.elan/bin/lake build VMC
 popd