diff options
| author | Andreas Grois <andi@grois.info> | 2024-09-05 19:27:36 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-09-05 19:27:36 +0200 |
| commit | 11f466e3091b34521e48b04e412bbd843bd20d27 (patch) | |
| tree | 30023b166c06e5aa19d9eb1273259edc0b601312 /lean-toolchain | |
| parent | 79726a8a669ff879db4ae14b8e27af357dd7c7b7 (diff) | |
Add for-loop support and update lean toolchain to 4.11v0.1.1
Diffstat (limited to 'lean-toolchain')
| -rw-r--r-- | lean-toolchain | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lean-toolchain b/lean-toolchain index c0eeb78..e74cbdc 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:4.10 +leanprover/lean4:4.11 |