greg/lean-sdl3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update toolchain to lastest version of Lean

Browse Source
This commit is contained in:
Greg Shuflin
2026-07-08 22:07:04 -07:00
parent 21c9cad34b
commit ce97ad440e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lean-toolchain
+1 -1
View File
@@ -1 +1 @@
leanprover/lean4:v4.26.0
leanprover/lean4:v4.31.0