mathlib3
6df77a61 - chore(*): update to Lean 3.14.0 (#2756)

Commit

6 years ago

chore(*): update to Lean 3.14.0 (#2756) This is an optimistic PR, betting *nothing* will break when moving to Lean 3.14.0.

Author

PatrickMassot

Parents