Is there a mathlib4 version

[zixiaowang17]

Thank you so much for creating such cool stuff!

I was wondering if there is an updated version with mathlib4, thanks!

[alexhkurz]

I believe it is here: https://leanprover-community.github.io/mathlib4_docs/mathlib.html https://github.com/leanprover-community/mathlib4_docs

…

On Mar 25, 2025, at 2:03 PM, zixiaowang17 ***@***.***> wrote: Thank you so much for creating such cool stuff! I was wondering if there is an updated version with mathlib4, thanks! — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***> zixiaowang17 created an issue (eric-wieser/mathlib-import-graph#3) Thank you so much for creating such cool stuff! I was wondering if there is an updated version with mathlib4, thanks! — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>