mathlib
fc882ff8 - chore(ci): update trepplein to version 1.1 (#12669)

Commit

3 years ago

chore(ci): update trepplein to version 1.1 (#12669) New upstream release, fixing some performance issues.

Author

gebner

Parents