Download Mathlib Docs

Stream: general

[Marcus Rossel]

Is there a way to get a version of the Mathlib documentation offline?

[Bryan Gin-ge Chen]

You could try cloning https://github.com/leanprover-community/mathlib_docs though it's quite large (probably you just want to do a shallow clone, as we do a lot of force-pushing to that repo). Otherwise you could follow the build instructions at https://github.com/leanprover-community/doc-gen

[Huỳnh Trần Khanh]

Alternatively, you could also clone... mathlib, surprise surprise! Documentation is just comments and mathlib source code is _surprisingly_ readable.

[Huỳnh Trần Khanh]

Note: you might want to run git pull and leanproject get-cache regularly (read: every 12 hours) to download updates.