chore(*): update to Lean 3.14.0 (#2756)

This is an optimistic PR, betting *nothing* will break when moving to Lean 3.14.0.
leanprover-community · May 20, 2020 · f4b2144 · f4b2144
1 parent ebd5431
commit f4b2144
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.13.2"
+lean_version = "leanprover-community/lean:3.14.0"
 path = "src"
 
 [dependencies]