Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit

Permalink
fix: bump to Lean 3.51.1 (#19088)
Browse files Browse the repository at this point in the history 
This should fix the web editor
  • Loading branch information
@eric-wieser
eric-wieser committed May 24, 2023
1 parent ef95945 commit 96d2ccb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion leanpkg.toml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
[package]
name = "mathlib"
version = "0.1"
lean_version = "leanprover-community/lean:3.51.0"
lean_version = "leanprover-community/lean:3.51.1"
path = "src"

[dependencies]

0 comments on commit 96d2ccb

Please sign in to comment.