Update to Lean 3.39.1

Author: monadius

Dockerfile

@@ -17,14 +17,14 @@ RUN set -ex; \
         python3-wheel \
     ; \
 # Install `leanproject`
-    pip3 install -Iv mathlibtools==0.0.10; \
+    pip3 install -Iv mathlibtools==1.1.0; \
     rm -rf /tmp/* /var/lib/apt/lists/*;
 
 USER codewarrior
 # Install Elan to manage Lean versions
 RUN set -ex; \
     cd /tmp; \
-    wget -q https://github.com/Kha/elan/releases/download/v0.10.2/elan-x86_64-unknown-linux-gnu.tar.gz; \
+    wget -q https://github.com/leanprover/elan/releases/download/v1.3.1/elan-x86_64-unknown-linux-gnu.tar.gz; \
     tar xf elan-x86_64-unknown-linux-gnu.tar.gz; \
     rm elan-x86_64-unknown-linux-gnu.tar.gz; \
     ./elan-init -y --no-modify-path; \

leanpkg.toml

@@ -1,8 +1,8 @@
 [package]
 name = "lean-challenge"
-version = "1.0"
-lean_version = "leanprover-community/lean:3.20.0"
+version = "2.0"
+lean_version = "leanprover-community/lean:3.39.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "da66bb81bf0466335bae82077f0c335dfe53aeb3"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "fb41da97816e716c002c723f7f08e103874d9f50"}