Skip to content

Commit f36a059

Browse files
stepchowfunstepchowfun
authored
Update Lean dependencies (#841)
1 parent f73fe80 commit f36a059

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎lakefile.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ maxSynthPendingDepth = 3
1313
[[require]]
1414
name = "mathlib"
1515
scope = "leanprover-community"
16-
rev = "v4.33.0"
16+
rev = "v4.33.1"
1717

1818
[[lean_lib]]
1919
name = "proofs_lean"

‎lean-toolchain‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
leanprover/lean4:v4.33.0
1+
leanprover/lean4:v4.33.1

0 commit comments

Comments
 (0)