Skip to content

Commit c9e5b77

Browse files
argument-ci-bot[bot]samuelburnham
argument-ci-bot[bot]
and
samuelburnham
authored
chore: Update Lean to v4.33.1 (#3)
Toolchain and dependencies bumped by lean-update. Co-authored-by: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
1 parent d9e24c0 commit c9e5b77

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎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)