https://github.com/leanprover-community/mathlib4

gzip: stdin: not in gzip format