Skip to content

Commit

Permalink
Trying Lean4 install
Browse files Browse the repository at this point in the history
  • Loading branch information
@jtristan
jtristan committed Apr 25, 2024
1 parent aff71e7 commit c6ebcd7
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions scripts/prep.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,3 +10,6 @@ curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_
./elan-init -y --default-toolchain none
echo "$HOME/.elan/bin" >> $GITHUB_PATH

pushd SampCert
lake build VMC
popd

0 comments on commit c6ebcd7

Please sign in to comment.