mathlib
597704ac - chore(*): switch to lean 3.8.0 (#2361)

Commit

5 years ago

chore(*): switch to lean 3.8.0 (#2361) Switch to Lean 3.8.

References

#2700 - Fix merge conflict

Author

gebner

gebner

Parents

Loading