Merge branch 'main' into Algorithm

leanprover-community · Oct 27, 2023 · a8c92ba · a8c92ba
2 parents 6626299 + 8b36edc
commit a8c92ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -4,7 +4,7 @@ WORKDIR /
 
 ENV ELAN_HOME=/usr/local/elan \
   PATH=/usr/local/elan/bin:$PATH \
-  LEAN_VERSION=leanprover/lean4:v4.0.0-rc4
+  LEAN_VERSION=leanprover/lean4:v4.1.0
   # TODO: read toolchain from `lean-toolchain`
 
 SHELL ["/bin/bash", "-euxo", "pipefail", "-c"]